nLab
structured category

Let CC be a finitely complete category and T=(T,μ,η)T = (T,\mu,\eta) a cartesian monad in CC. A TT-structured category is an internal category in the Eilenberg-Moore category C TC^T of TT-algebras in CC.

Literature

  • Albert Burroni, TT-catégories (catégories dans un triple). Cahiers de Topologie et Géométrie Différentielle Catégoriques, 12 no. 3 (1971), p. 215-321, numdam: abstract djvu pdf

  • Tom Leinster, Higher operads, higher categories, London Math. Soc. Lec. Notes Series 298, arXiv

Revised on April 13, 2013 12:05:41 by Tim Porter (95.147.236.43)