1.1k citations · 4.7k across the 104 of their papers we have counts for
Showing 2019 · math.CTShow all
3 papers · 2 filters
math.CT2019★ 6 cited
Structured Cospans
John C. Baez, Kenny Courser
One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks…
math.CT2019★ 1 cited
Enriched Lawvere Theories for Operational Semantics
John C. Baez, Christian Williams
Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theo…
math.CT2019★ 6 cited
Network Models from Petri Nets with Catalysts
John C. Baez, John Foley, Joe Moeller
Petri networks and network models are two frameworks for the compositional design of systems of interacting entities. Here we show how to combine them using the concept of a "catal…