nLab structured category

Let $C$ be a finitely complete category and $T = (T,\mu,\eta)$ 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$.

Related pages

• representable multicategory

References

• 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