66 citations · 295 across the 23 of their papers we have counts for
5 papers · 1 filter
Behavioral Mereology: A Modal Logic for Passing Constraints
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…
String Diagrams for Regular Logic (Extended Abstract)
Brendan Fong, David 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…
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Brendan Fong, Fabio Zanasi
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits an…
A Universal Construction for (Co)Relations
Brendan Fong, Fabio Zanasi
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits an…
Additive monotones for resource theories of parallel-combinable processes with discarding
Brendan Fong, Hugo Nava-Kopp
A partitioned process theory, as defined by Coecke, Fritz, and Spekkens, is a symmetric monoidal category together with an all-object-including symmetric monoidal subcategory. We t…