2 citations · 4 across the 3 of their papers we have counts for
5 papers
Rewriting Structured Cospans
Daniel Cicala
We develop a theory of rewriting for structured cospans in order to extend compositional methods for modeling open networks. First, we introduce a category whose objects are struct…
Rewriting Structured Cospans: A Syntax For Open Systems
Daniel Cicala
The concept of a system has proliferated through natural and social sciences. While myriad theories of systems exist, there is no mathematical general theory of systems. In this th…
Spans of cospans in a topos
Daniel Cicala, Kenny Courser
For a topos , there is a bicategory whose objects are those of , morphisms are cospans in , and 2-morphisms are isomo…
Categorifying the ZX-calculus
Daniel Cicala
We build a symmetric monoidal and compact closed bicategory by combining spans and cospans inside a topos. This can be used as a framework in which to study open networks and diagr…
Spans of cospans
Daniel Cicala
We discuss the notion of a span of cospans and define, for them, horizonal and vertical composition. These compositions satisfy the interchange law if working in a topos $\mathbf{C…