Invitation to Applied Category Theory
-10%
portes grátis
Invitation to Applied Category Theory
Seven Sketches in Compositionality
Fong, Brendan; Spivak, David I.
Cambridge University Press
07/2019
348
Dura
Inglês
9781108482295
15 a 20 dias
840
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.
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.
