scientific article; zbMATH DE number 937396
From MaRDI portal
Publication:4896537
Recommendations
Cited in
(30)- Bounding homotopy types by geometry
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Enumerating prime-power homotopy k-type
- Sur le type d'homotopie d'un CW-complexe
- The fundamental group of the Quillen complex of the symmetric group
- A calculus for flow categories
- The ring of stable homotopy classes of self-maps of \(A_n^2\)-polyhedra
- Homotopy types of abstract elementary classes
- On abstraction in mathematics and indefiniteness in quantum mechanics
- An \(\mathfrak{sl}_n\) stable homotopy type for matched diagrams
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics
- Variations on a theme of homotopy
- Modeling stable one-types
- Homotopy type theory and Voevodsky's univalent foundations
- Homotopy Type Theory
- Homology of 2-Types
- Pro-algebraic homotopy types
- Homotopy types of one-dimensional Peano continua
- Martin-Löf complexes
- scientific article; zbMATH DE number 67763 (Why is no real title available?)
- Freeness conditions for quasi 3-crossed modules and complexes of using simplicial algebras with CW-bases
- scientific article; zbMATH DE number 877845 (Why is no real title available?)
- Type theory and homotopy
- Khovanov Homotopy Calculations using Flow Category Calculus
- Topological quantum gates in homotopy type theory
- A functorial approach to monomorphism categories. II: Indecomposables
- Derived character maps of group representations
- Generalized products and semiclassical quantization
- Two second Steenrod squares for odd Khovanov homology
- Self-maps of the product of two spheres fixing the diagonal
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 Q4896537)
