Invitation to Applied Category Theory

Invitation to Applied Category Theory

Seven Sketches in Compositionality


Cambridge University Press






15 a 20 dias

Descrição não disponível.
Preface; 1. Generative effects: orders and Galois connections; 2. Resource theories: monoidal preorders and enrichment; 3. Databases: categories, functors, and universal constructions; 4. Collaborative design: profunctors, categorification, and monoidal categories; 5. Signal flow graphs: props, presentations, and proofs; 6. Electric circuits: hypergraph categories and operads; 7. Logic of behavior: sheaves, toposes, and internal languages; Appendix. Exercise solutions; References; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.