English

Operadic categories and d\'ecalage

Category Theory 2021-03-31 v1

Abstract

Batanin and Markl's operadic categories are categories in which each map is endowed with a finite collection of "abstract fibres" -- also objects of the same category -- subject to suitable axioms. We give a reconstruction of the data and axioms of operadic categories in terms of the d\'ecalage comonad D on small categories. A simple case involves unary operadic categories -- ones wherein each map has exactly one abstract fibre -- which are exhibited as categories which are, first of all, coalgebras for the comonad D, and, furthermore, algebras for the monad induced on the category of D-coalgebras by the forgetful-cofree adjunction. A similar description is found for general operadic categories arising out of a corresponding analysis that starts from a "modified d\'ecalage" comonad on the arrow category of Cat.

Keywords

Cite

@article{arxiv.1812.01750,
  title  = {Operadic categories and d\'ecalage},
  author = {Richard Garner and Joachim Kock and Mark Weber},
  journal= {arXiv preprint arXiv:1812.01750},
  year   = {2021}
}

Comments

20 pages

R2 v1 2026-06-23T06:32:04.186Z