Cubical (, p)-categories

zbMATH Open1409.18006arXiv1612.07050MaRDI QIDQ3121024FDOQ3121024

Authors: Maxime Lucas 

Publication date: 19 March 2019

Abstract: In this article we introduce the notion of cubical $(omega,p)$-categories, for $pinmathbbNcupomega$. We show that the equivalence between globular and groupoid $omega$-categories proven by Al-Agl, Brown and Steiner induces an equivalence between globular and cubical $(omega,p)$-categories for all $pgeq0$. 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 $(omega,p)$-augmented directed complexes, and show that Steiner's adjunction between augmented directed complexes and globular $omega$-categories induces adjunctions between $(omega,p)$-augmented directed complexes and both globular and cubical $(omega,p)$-categories. Combinatorially, the difficulty lies in defining the appropriate notion of invertibility for a cell in a cubical $omega$-category. We investigate three such possible definitions and the relationship between them. We show that cubical $(omega,1)$-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.

Full work available at URL: https://arxiv.org/abs/1612.07050

Recommendations

• From cubical to globular higher categories
• Multiple categories: The equivalence of a globular and a cubical approach
• scientific article; zbMATH DE number 1080534
• Omega-categories and chain complexes
• An \(\omega\)-category with all duals is an \(\omega\)-groupoid

zbMATH Keywords

higher categoriescubical categories

Mathematics Subject Classification ID

Chain complexes (category-theoretic aspects), dg categories (18G35)

Cites Work

• Rational homotopy theory
• Homotopy limits, completions and localizations
• Directed algebraic topology. Models of non-reversible worlds
• Homotopy invariants of higher dimensional categories and concurrency in computer science
• Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
• Some geometric perspectives in concurrency theory
• Homologie singulière des espaces fibrés. Applications
• On the algebra of cubes
• Omega-categories and chain complexes
• Multiple categories: The equivalence of a globular and a cubical approach
• ABSTRACT HOMOTOPY
• Presheaves as models for homotopy types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Higher-dimensional normalisation strategies for acyclicity
• Higher cospans and weak cubical categories (cospans in algebraic topology. I)
• Functors Involving C.S.S. Complexes
• Cubical Abelian groups with connections are equivalent to chain complexes
• The cubical category with connections is a strict test category
• Title not available (Why is that?)
• Combinatorics of branchings in higher dimensional automata
• The algebra of directed complexes
• Nerves of Multiple Categories
• Title not available (Why is that?)
• Cubical groups which are Kan
• Localizations of transfors
• Title not available (Why is that?)
• A cubical Squier's theorem

Cited In (10)

• Cubical model categories and quasi-categories
• A cubical Squier's theorem
• Algebraic models of cubical weak higher structures
• Title not available (Why is that?)
• The (Pi,lambda)-structures on the C-systems defined by universe categories
• An \(\omega\)-category with all duals is an \(\omega\)-groupoid
• A Lax symmetric cubical category associated to a directed space
• From cubical to globular higher categories
• Multiple categories: The equivalence of a globular and a cubical approach
• A Hilbert Cube L-S Category

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)