On the algebra of cubes
From MaRDI portal
Cites work
- Aspects of topoi
- Colimit theorems for relative homotopy groups
- Combinatorial homotopy. II
- Crossed \(n\)-fold extensions of groups and cohomology
- Functors Involving C.S.S. Complexes
- Groupoids and Van Kampen's Theorem
- Homology of symmetric products and other functors of complexes
- scientific article; zbMATH DE number 3890362 (Why is no real title available?)
- scientific article; zbMATH DE number 3903554 (Why is no real title available?)
- scientific article; zbMATH DE number 3668819 (Why is no real title available?)
- scientific article; zbMATH DE number 3764761 (Why is no real title available?)
- scientific article; zbMATH DE number 3536300 (Why is no real title available?)
- scientific article; zbMATH DE number 3582892 (Why is no real title available?)
- scientific article; zbMATH DE number 3591054 (Why is no real title available?)
- scientific article; zbMATH DE number 3414502 (Why is no real title available?)
- On the Connection between the Second Relative Homotopy Groups of Some Related Spaces
- Simplicial methods and the interpretation of “triple” cohomology
- Some relations between homology and homotopy groups
Cited in
(94)- Model structures on the category of small double categories
- Trace spaces in a pre-cubical complex
- Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes
- Classification of principal bundles and Lie groupoids with prescribed gauge group bundle
- Colimit theorems for relative homotopy groups
- Cubical groups which are Kan
- Determination of a double Lie groupoid by its core diagram
- Double Lie algebroids and second-order geometry. I
- Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories)
- On the homotopy structure of strongly homotopy associative algebras
- Spaces of maps into classifying spaces for equivariant crossed complexes
- Towards a 2-dimensional notion of holonomy.
- \(n\)-groupoids from \(n\)-truncated simplicial objects as a solution to a universal problem
- Simploidal sets: a data structure for handling simploidal Bézier spaces
- Modelling and computing homotopy types: I
- Cubical rigidification, the cobar construction and the based loop space
- Postnikov invariants of crossed complexes
- A Dold-Kan theorem for crossed complexes
- Multiple categories: The equivalence of a globular and a cubical approach
- Higher fundamental groupoids for spaces
- Trunks and classifying spaces
- Homotopy theory, and change of base for groupoids and multiple groupoids
- A combinatorial model for the path fibration
- Tubular parametric volume objects: thickening a piecewise smooth 3D stick figure
- Homology groups of cubical sets with connections
- Combinatorial conditions for directed collapsing
- Towards a \(2\)-dimensional notion of holonomy
- Local computation of homology variations over a construction process
- Homology of spaces of directed paths on Euclidean cubical complexes
- Representing Bredon cohomology with local coefficients
- Gamma spaces and information
- Weak morphisms of higher dimensional automata
- Invariants of directed spaces
- Algebraic topology and concurrency
- From concurrency to algebraic topology
- Higher fundamental functors for simplicial sets
- Crossed complexes and chain complexes with operators
- Crossed complexes and higher homotopy groupoids as noncommutative tools for higher dimensional local-to-global problems
- Cubical (, p)-categories
- scientific article; zbMATH DE number 1799498 (Why is no real title available?)
- Proof-Relevant Parametricity
- Homology of left non-degenerate set-theoretic solutions to the Yang-Baxter equation
- The classifying space of a crossed complex
- Higher homotopy operations and cohomology
- The classifying space of a categorical crossed module
- scientific article; zbMATH DE number 3821999 (Why is no real title available?)
- The cubical cohomology ring: an algorithmic approach
- scientific article; zbMATH DE number 3764761 (Why is no real title available?)
- scientific article; zbMATH DE number 3766697 (Why is no real title available?)
- scientific article; zbMATH DE number 29046 (Why is no real title available?)
- Free Crossed Resolutions of Groups and Presentations of Modules of Identities among Relations
- scientific article; zbMATH DE number 1036405 (Why is no real title available?)
- Simplicial models for trace spaces. II: General higher dimensional automata
- scientific article; zbMATH DE number 2051884 (Why is no real title available?)
- scientific article; zbMATH DE number 4113550 (Why is no real title available?)
- A topological perspective on interacting algebraic theories
- Multiple Dedekind zeta functions
- Cubical model categories and quasi-categories
- Higher lattices, discrete two-dimensional holonomy and topological phases in \((3+1)\) d with higher gauge symmetry
- Singular chains and the fundamental group
- Formal relationships between geometrical and classical models for concurrency
- The colimit of an -local system as a twisted tensor product
- A cubical Squier's theorem
- A motivic version of the theorem of Fontaine and Wintenberger
- A prismatic classifying space
- Symmetric cubical sets
- The fundamental Gray 3-groupoid of a smooth manifold and local 3-dimensional holonomy based on a 2-crossed module
- Two- and three-cocycles for Laver tables
- A Thomason model structure on the category of small \(n\)-fold categories
- Motion groupoids and mapping class groupoids
- Directed degeneracy maps for precubical sets
- Comparing cubical and globular directed paths
- Homotopy groups of cubical sets
- Regular directed path and Moore flow
- Surface holonomy for non-Abelian 2-bundles via double groupoids
- A coherent homotopy category of 2-track commutative cubes
- On the homology language of HDA models of transition systems
- Single-set cubical categories and their formalisation with a proof assistant
- Cubical homotopical algebra and cochain algebras
- Automating boundary filling in cubical Agda
- On relative homotopy groups of the product filtration, the James construction, and a formula of Hopf
- Algebraic classification of equivariant homotopy 2-types. I
- Double groupoids and homotopy 2-types
- Logic and languages of higher-dimensional automata
- Automorphisms and homotopies of groupoids and crossed modules
- Execution spaces for simple higher dimensional automata
- Nerves of enriched categories via necklaces
- Automating boundary filling in cubical type theories
- Modules croisés généralisés de longueur 2
- Diagram groups and directed 2-complexes: homotopy and homology.
- The homotopy categorical crossed module of a CW-complex
- Combinatorics of labelling in higher-dimensional automata
- Cubical version of combinatorial differential forms
- Simplicial models of trace spaces
This page was built for publication: On the algebra of cubes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1156392)