The following pages link to Sketches (Q1818636):
Displaying 6 items.
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Algebraic weak factorisation systems. II: Categories of weak maps. (Q886978) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- Enriched Lawvere Theories for Operational Semantics (Q5020957) (← links)
