147 citations · 550 across the 42 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2021★ 1 cited
Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract)
Nicolas Behr, Joachim Kock
Tracelets are the intrinsic carriers of causal information in categorical rewriting systems. In this work, we assemble tracelets into a symmetric monoidal decomposition space, indu…
cs.LO2020★ 7 cited
Whole-grain Petri nets and processes
Joachim Kock
We present a formalism for Petri nets based on polynomial-style finite-set configurations and etale maps. The formalism supports both a geometric semantics in the style of Goltz an…
cs.LO2012
Data types with symmetries and polynomial functors over groupoids
Joachim Kock
Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category th…