The following pages link to (Q4222895):
Displaying 15 items.
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- Finite models of sketches (Q678828) (← links)
- A generalization of the concept of sketch (Q916772) (← links)
- How to sketch quasivarieties (Q1125923) (← links)
- Sketches and parametrization (Q1314408) (← links)
- Sketches (Q1818636) (← links)
- Morita equivalence of sketches (Q1840752) (← links)
- On geometric and finitary sketches (Q1923801) (← links)
- Lawvere theories enriched over a general base (Q2378550) (← links)
- Symmetric monoidal sketches and categories of wirings (Q2847418) (← links)
- Reflection into models of finite decidable FP-sketches in an arithmetic universe (Q2849881) (← links)
- Diagrams, equations and theories in categories (Q3338414) (← links)
- (Q4032249) (← links)
- (Q4364755) (← links)
- (Q6060014) (← links)