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