172 citations · 796 across the 66 of their papers we have counts for
Showing 2015 · math.CTShow all
2 papers · 2 filters
math.CT2015★ 18 cited
String diagrams for traced and compact categories are oriented 1-cobordisms
David I. Spivak, Patrick Schultz, Dylan Rupel
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The ax…
math.CT2015★ 1 cited
Toward formalizing ologs: Linguistic structures, instantiations, and mappings
Marco A. Pérez, David I. Spivak
We define the notion of linguistic structure on a small category, in order to provide a more formal description of ontology logs, also known as ologs, introduced by R. E. Kent and…