scientific article; zbMATH DE number 29046

zbMATH Open0754.18008MaRDI QIDQ3986540FDOQ3986540

Authors: Mikhail Kapranov, Vladimir Voevodsky 

Publication date: 27 June 1992

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1991__32_1_29_0

Title of this publication is not available (Why is that?)

Recommendations

• ∞-Groupoids as a model for a homotopy category
• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Batanin higher groupoids and homotopy types
• On homotopy types modelized by strict \(\infty\)-groupoids

zbMATH Keywords

homotopy category of CW-complexes

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Cites Work

• Title not available (Why is that?)
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Spaces with finitely many non-trivial homotopy groups
• Title not available (Why is that?)
• The algebra of oriented simplexes
• On the algebra of cubes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The combinatorics of n-categorical pasting
• A 2-categorical pasting theorem

Cited In (22)

• Toposes as homotopy groupoids
• Mathematical models of abstract systems: knowing abstract geometric forms
• Models of Type Theory Based on Moore Paths
• Title not available (Why is that?)
• \(E_\infty\)-structures on homotopy groups
• ∞-Groupoids as a model for a homotopy category
• Unifying notions of pasting diagrams
• Non-unital polygraphs form a presheaf category
• Covers of abelian varieties as analytic Zariski structures
• Homotopy type theory and Voevodsky’s univalent foundations
• Title not available (Why is that?)
• Batanin higher groupoids and homotopy types
• Title not available (Why is that?)
• Vladimir Aleksandrovich Voevodsky
• An Australian conspectus of higher categories
• A combinatorial-topological shape category for polygraphs
• A remark on transitivity of Galois action on the set of uniquely divisible abelian extensions in \(\text{Ext}^1(E(\overline {\mathbb {Q}}),\Lambda)\)
• From concurrency to algebraic topology
• Univalent foundations as structuralist foundations
• Type Theory and Homotopy
• Frobenius algebras and homotopy fixed points of group actions on bicategories
• The homotopy type of spacesxwith fundamental groupoid 𝔤 and an unique non-trivial homotopy 𝔤-module ∏_n(X)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3986540)