The following pages link to Sketches (Q1818636):
Displaying 13 items.
- Diagrams as sketches (Q375288) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- 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)
- (Q4032249) (← links)
- (Q4222895) (← links)
- (Q4364755) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- Enriched Lawvere Theories for Operational Semantics (Q5020957) (← links)
- (Q6060014) (← links)
- Normalization for multimodal type theory (Q6649430) (← links)