66 citations · 295 across the 23 of their papers we have counts for
5 papers · 1 filter
A recipe for black box functors
Brendan Fong, Maru Sarazola
The task of constructing compositional semantics for network-style diagrammatic languages, such as electrical circuits or chemical reaction networks, has been dubbed the black boxi…
Graphical Regular Logic
Brendan Fong, David I Spivak
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the…
Behavioral Mereology (Proofs and Properties)
Brendan Fong, David Jaz Myers, David I. Spivak
Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by th…
Hypergraph Categories
Brendan Fong, David I Spivak
Hypergraph categories have been rediscovered at least five times, under various names, including well-supported compact closed categories, dgs-monoidal categories, and dungeon cate…
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
Brendan Fong, David I Spivak
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later…