An algebraic definition of (, N)-categories

MaRDI QIDQ5261933zbMATH OpenFDO

Authors Camell Kachour

Publication date 8 July 2015

Full work available at URL https://arxiv.org/abs/1208.0660, http://www.emis.de/journals/TAC/volumes/30/22/30-22abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

\((\infty, N)\)-categorieshomotopy typesweak \(\infty\)-groupoids

Mathematics Subject Classification ID

Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L99) Classification of homotopy type (55P15) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: In this paper we define a sequence of monads $mathbb{T}^{(}infty;n)$ $(ninmathbbN)$ on $infty$-$mathbbGextr$, the category of the $infty$-graphs. We conjecture that algebras for $mathbb{T}^{(}0;n)$ which are defined in a purely algebraic setting, are models of weak $infty$-groupoids. And for all $n>1$ we conjecture that algebras for $mathbb{T}^{(}infty;n)$ which are defined in a purely algebraic setting, are models of weak $(infty;n)$-categories.

Recommendations

• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• scientific article; zbMATH DE number 7005876
• Algebraic models for higher categories
• Algebraic models of cubical weak higher structures

Cited in

(6)

• Category of \(A_\infty\)-categories
• The algebra of the nerves of omega-categories
• Algebraic definition of nonstrict cells
• scientific article; zbMATH DE number 2165890 (Why is no real title available?)
• Algebraic models of cubical weak \(\infty\)-categories with connections
• Algebraic models of cubical weak higher structures

This page was built for publication: An algebraic definition of \((\infty, N)\)-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261933)