An Invitation to Applied Category Theory
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9781108668804, 9781108482295, 9781108711821

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Index

An Invitation to Applied Category Theory ◽

10.1017/9781108668804.011 ◽

2019 ◽

pp. 331-338

Exercise Solutions

An Invitation to Applied Category Theory ◽

10.1017/9781108668804.009 ◽

2019 ◽

pp. 256-324

Generative Effects: Orders and Galois Connections

An Invitation to Applied Category Theory ◽

10.1017/9781108668804.002 ◽

2019 ◽

pp. 1-37

Keyword(s):

Galois Connections

Collaborative Design: Profunctors, Categorification, and Monoidal Categories

An Invitation to Applied Category Theory ◽

10.1017/9781108668804.005 ◽

2019 ◽

pp. 117-146

Keyword(s):

Collaborative Design ◽

Monoidal Categories

References

An Invitation to Applied Category Theory ◽

10.1017/9781108668804.010 ◽

2019 ◽

pp. 325-330

Signal Flow Graphs: Props, Presentations, and Proofs

An Invitation to Applied Category Theory ◽

10.1017/9781108668804.006 ◽

2019 ◽

pp. 147-179

Keyword(s):

Signal Flow ◽

Signal Flow Graphs ◽

Flow Graphs

Databases: Categories, Functors, and Universal Constructions

An Invitation to Applied Category Theory ◽

10.1017/9781108668804.004 ◽

2019 ◽

pp. 77-116

Keyword(s):

Universal Constructions

Resource Theories: Monoidal Preorders and Enrichment

An Invitation to Applied Category Theory ◽

10.1017/9781108668804.003 ◽

2019 ◽

pp. 38-76

Logic of Behavior: Sheaves, Toposes, and Internal Languages

An Invitation to Applied Category Theory ◽

10.1017/9781108668804.008 ◽

2019 ◽

pp. 219-255

Preface

An Invitation to Applied Category Theory ◽

10.1017/9781108668804.001 ◽

2019 ◽

pp. ix-xii