The following pages link to (Q3986540):
Displaying 17 items.
- Covers of abelian varieties as analytic Zariski structures (Q450948) (← links)
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- A combinatorial-topological shape category for polygraphs (Q2182786) (← links)
- Mathematical models of abstract systems: knowing abstract geometric forms (Q2448534) (← links)
- A remark on transitivity of Galois action on the set of uniquely divisible abelian extensions in \(\text{Ext}^1(E(\overline {\mathbb {Q}}),\Lambda)\) (Q2481130) (← links)
- (Q2703724) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- Frobenius algebras and homotopy fixed points of group actions on bicategories (Q2981750) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- (Q3994019) (← links)
- Vladimir Aleksandrovich Voevodsky (Q4558118) (← links)
- (Q4611383) (← links)
- (Q5031679) (← links)
- Unifying notions of pasting diagrams (Q5094691) (← links)
- Models of Type Theory Based on Moore Paths (Q5111326) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- Non-unital polygraphs form a presheaf category (Q5382906) (← links)
