ABSTRACT HOMOTOPY
From MaRDI portal
Cited in
(46)- Simploidals sets: Definitions, operations and comparison with simplicial sets
- Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes
- Cubical groups which are Kan
- Homotopical algebra in homotopical categories
- Meaning explanations at higher dimension
- Modelling and computing homotopy types: I
- A cubical model for a fibration
- Combinatorial topology and constructive mathematics
- Free \(n\)-category generated by a cube, oriented matroids, and higher Bruhat orders
- Trunks and classifying spaces
- Homology groups of cubical sets with connections
- A co-reflection of cubical sets into simplicial sets with applications to model structures
- Gamma spaces and information
- Mathematical models of abstract systems: knowing abstract geometric forms
- Variations on a theme of homotopy
- Weak morphisms of higher dimensional automata
- Directed algebraic topology, categories and higher categories
- Kan-Bedingungen und abstrakte Homotopietheorie. (Kan conditions and abstract homotopy theory)
- Zur omotopietheorie von Gruppoiden
- Cubical structures, homotopy theory
- Crossed complexes and higher homotopy groupoids as noncommutative tools for higher dimensional local-to-global problems
- Cubical (, p)-categories
- On Supercomplexes
- Homology of left non-degenerate set-theoretic solutions to the Yang-Baxter equation
- Higher homotopy operations and cohomology
- scientific article; zbMATH DE number 3764761 (Why is no real title available?)
- scientific article; zbMATH DE number 29045 (Why is no real title available?)
- scientific article; zbMATH DE number 92857 (Why is no real title available?)
- Cubical type theory: a constructive interpretation of the univalence axiom
- scientific article; zbMATH DE number 845467 (Why is no real title available?)
- Syntax and models of Cartesian cubical type theory
- Internal parametricity for cubical type theory
- Esqueleto Homoto-Homológico en la Categoría de los Grupos Abelianos
- Two- and three-cocycles for Laver tables
- Cubical models of higher categories without connections
- Cubical and simplicial sets in the category of quivers
- Homotopy groups of cubical sets
- Levels in the toposes of simplicial sets and cubical sets
- Single-set cubical categories and their formalisation with a proof assistant
- Symmetry in the cubical Joyal model structure
- Automating boundary filling in cubical Agda
- Presheaf automata
- Irrationality of process replication for higher-dimensional automata
- The equivariant model structure on cartesian cubical sets
- Homotopie und Homologie in abelschen Gruppen- und Monoidkomplexen. I, II
- Quelques propriétés des fibrés au sens de Kan
This page was built for publication: ABSTRACT HOMOTOPY
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5850160)
