172 citations · 796 across the 66 of their papers we have counts for
7 papers · 1 filter
Dynamic Tracing: a graphical language for rewriting protocols
Kristopher Brown, David I. Spivak
The category Set_* of sets and partial functions is well-known to be traced monoidal, meaning that a partial function S+U -/-> T+U can be coherently transformed into a partial func…
Algebraic Model Management: A Survey
Patrick Schultz, David I. Spivak, Ryan Wisnesky
We survey the field of model management and describe a new model management approach based on algebraic specification.
Wiring diagrams as normal forms for computing in symmetric monoidal categories
Evan Patterson, David I. Spivak, Dmitry Vagner
Applications of category theory often involve symmetric monoidal categories (SMCs), in which abstract processes or operations can be composed in series and parallel. However, in 20…
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…
Abstraction, Composition and Contracts: A Sheaf Theoretic Approach
Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan
Complex systems of systems (SoS) are characterized by multiple interconnected subsystems. Typically, each subsystem is designed and analyzed using methodologies and formalisms that…