2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…