The following pages link to (Q5592283):
Displayed 41 items.
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- An operadic approach to internal structures (Q816649) (← links)
- The fiber of functors between categories of algebras (Q852922) (← links)
- Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes (Q1089958) (← links)
- Algebraic categories with few monoidal biclosed structures or none (Q1146754) (← links)
- The logic of structures (Q1196790) (← links)
- Sketches and parametrization (Q1314408) (← links)
- Sketches and computations over fields. (Q1565815) (← links)
- Detecting equivalence of modular specifications with categorical diagrams (Q1583247) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- (Q3324132) (← links)
- (Q3470632) (← links)
- (Q3532317) (← links)
- (Q3734625) (← links)
- (Q3808286) (← links)
- (Q3820776) (← links)
- (Q3944605) (← links)
- (Q4076485) (← links)
- (Q4081430) (← links)
- (Q4122071) (← links)
- (Q4128944) (← links)
- (Q4186522) (← links)
- (Q4233203) (← links)
- (Q4302936) (← links)
- (Q4339951) (← links)
- (Q4395868) (← links)
- (Q4395869) (← links)
- (Q4395870) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- (Q4723927) (← links)
- (Q4862884) (← links)
- (Q4869371) (← links)
- (Q5609437) (← links)
- (Q5612494) (← links)
- (Q5632749) (← links)
- (Q5662562) (← links)
- (Q5664063) (← links)
- (Q5679011) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)