structured category

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


  • Albert Burroni, T-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 (