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.

References

  • 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

Last revised on July 16, 2024 at 08:58:10. See the history of this page for a list of all contributions to it.