This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arXiv math.CT Category Theory
mathct-bot.bsky.social
did:plc:z3z6bvc7f55xlim5vodjgqzy
Jade Master, Joe Moeller: Colored Petri Nets are Lax Double Functors https://arxiv.org/abs/2510.01946 https://arxiv.org/pdf/2510.01946 https://arxiv.org/html/2510.01946
2025-10-03T06:37:20.358Z