search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Is Lemma 5.1 of "Categories of Petri Nets" somehow relevant #45

Closed JacquesCarette closed 3 years ago

JacquesCarette commented 3 years ago

https://arxiv.org/abs/2101.04238. It's about the free symmetric strict monoidal category.

vikraman commented 3 years ago

Yes, the free SMC occurs in many places. The oldest reference I've found is in Two-dimensional monad theory, in the section on examples of 2-monads.