Pages that link to "Item:Q3986540"

The following pages link to \(\infty\)-groupoids and homotopy types (Q3986540):

Displaying 21 items.

• Covers of abelian varieties as analytic Zariski structures (Q450948) (← links)
• \(E_\infty\)-structures on homotopy groups (Q1274015) (← links)
• Univalent foundations as structuralist foundations (Q1708879) (← links)
• Toposes as homotopy groupoids (Q1813668) (← links)
• A combinatorial-topological shape category for polygraphs (Q2182786) (← links)
• Towards a globular path object for weak \(\infty\)-groupoids (Q2318409) (← 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)
• From concurrency to algebraic topology (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)
• Parity complexes (Q3994019) (← links)
• The homotopy type of spaces<i>x</i>with fundamental groupoid 𝔤 and an unique non-trivial homotopy 𝔤-module ∏_<i>n</i>(<i>X</i>) (Q4237114) (← links)
• Vladimir Aleksandrovich Voevodsky (Q4558118) (← links)
• Models of type theory based on Moore paths (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)