ABSTRACT HOMOTOPY

From MaRDI portal
Publication:5850160

DOI10.1073/pnas.41.12.1092zbMath0065.38601OpenAlexW2987887308WikidataQ37614867 ScholiaQ37614867MaRDI QIDQ5850160

Daniel M. Kan

Publication date: 1955

Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1073/pnas.41.12.1092




Related Items (40)

Homotopical algebra in homotopical categoriesTensor products and homotopies for \(\omega\)-groupoids and crossed complexesHomology of left non-degenerate set-theoretic solutions to the Yang-Baxter equationTrunks and classifying spacesEsqueleto Homoto-Homológico en la Categoría de los Grupos AbelianosCubical models of higher categories without connectionsMeaning explanations at higher dimensionModelling and computing homotopy types: ICubical and simplicial sets in the category of quiversGamma spaces and informationLevels in the toposes of simplicial sets and cubical setsHomotopy groups of cubical setsMathematical models of abstract systems: knowing abstract geometric formsVariations on a theme of homotopyWeak morphisms of higher dimensional automataUnnamed ItemCubical $(\omega,p)$-categoriesHigher homotopy operations and cohomologyDirected algebraic topology, categories and higher categoriesUnnamed ItemCubical groups which are KanA cubical model for a fibrationCubical Type Theory: a constructive interpretation of the univalence axiomCrossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global ProblemsUnnamed ItemCombinatorial topology and constructive mathematicsSimploidals sets: Definitions, operations and comparison with simplicial setsHomology groups of cubical sets with connectionsUnnamed ItemUnnamed ItemFree \(n\)-category generated by a cube, oriented matroids, and higher Bruhat ordersOn SupercomplexesKan-Bedingungen und abstrakte Homotopietheorie. (Kan conditions and abstract homotopy theory)Homotopie und Homologie in abelschen Gruppen- und Monoidkomplexen. I, IIQuelques propriétés des fibrés au sens de KanZur omotopietheorie von GruppoidenTwo- and three-cocycles for Laver tablesA co-reflection of cubical sets into simplicial sets with applications to model structuresCubical structures, homotopy theorySyntax and models of Cartesian cubical type theory




This page was built for publication: ABSTRACT HOMOTOPY