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