activity
20162020
most citedRewriting Structured Cospans: A Syntax For Open Systems

2 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing 2017Show all

2 papers · 1 filter

math.CT2017

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…

math.CT2017★ 2 cited

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…