Cubical (, p)-categories
From MaRDI portal
Publication:3121024
Abstract: In this article we introduce the notion of cubical -categories, for . We show that the equivalence between globular and groupoid -categories proven by Al-Agl, Brown and Steiner induces an equivalence between globular and cubical -categories for all . In particular we recover in a more explicit fashion the equivalence between globular and cubical groupoids proven by Brown and Higgins. We also define the notion of -augmented directed complexes, and show that Steiner's adjunction between augmented directed complexes and globular -categories induces adjunctions between -augmented directed complexes and both globular and cubical -categories. Combinatorially, the difficulty lies in defining the appropriate notion of invertibility for a cell in a cubical -category. We investigate three such possible definitions and the relationship between them. We show that cubical -categories have a natural structure of symmetric cubical categories. We give an explicit description of the notions of lax, oplax and pseudo transfors between cubical categories, the latter making use of the notion of invertible cell defined previously.
Recommendations
Cites work
- scientific article; zbMATH DE number 6694181 (Why is no real title available?)
- scientific article; zbMATH DE number 3536300 (Why is no real title available?)
- scientific article; zbMATH DE number 3591054 (Why is no real title available?)
- scientific article; zbMATH DE number 2172968 (Why is no real title available?)
- scientific article; zbMATH DE number 1924514 (Why is no real title available?)
- scientific article; zbMATH DE number 3209202 (Why is no real title available?)
- A cubical Squier's theorem
- ABSTRACT HOMOTOPY
- Combinatorics of branchings in higher dimensional automata
- Cubical Abelian groups with connections are equivalent to chain complexes
- Cubical groups which are Kan
- Directed algebraic topology. Models of non-reversible worlds
- Functors Involving C.S.S. Complexes
- Higher cospans and weak cubical categories (cospans in algebraic topology. I)
- Higher-dimensional normalisation strategies for acyclicity
- Homologie singulière des espaces fibrés. Applications
- Homotopy invariants of higher dimensional categories and concurrency in computer science
- Homotopy limits, completions and localizations
- Localizations of transfors
- Multiple categories: The equivalence of a globular and a cubical approach
- Nerves of Multiple Categories
- Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
- Omega-categories and chain complexes
- On the algebra of cubes
- Presheaves as models for homotopy types
- Rational homotopy theory
- Some geometric perspectives in concurrency theory
- The algebra of directed complexes
- The cubical category with connections is a strict test category
Cited in
(10)- scientific article; zbMATH DE number 2172968 (Why is no real title available?)
- Algebraic models of cubical weak higher structures
- From cubical to globular higher categories
- An \(\omega\)-category with all duals is an \(\omega\)-groupoid
- A cubical Squier's theorem
- Multiple categories: The equivalence of a globular and a cubical approach
- Cubical model categories and quasi-categories
- A Lax symmetric cubical category associated to a directed space
- A Hilbert Cube L-S Category
- The (Pi,lambda)-structures on the C-systems defined by universe categories
This page was built for publication: Cubical \((\omega, p)\)-categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3121024)
