English

Kleisli categories, T-categories and internal categories

Category Theory 2024-01-23 v1

Abstract

We investigate the properties of the Kleisli category KlT of a monad (T,{\lambda},{\mu}) on a category E and in particular the existence of (some kind of) pullbacks. This culminates when the monad is cartesian. In this case, we show that any T-category in E in the sense of A. Burroni coincides with a special kind of internal category in KlT . So, it is the case in particular for T -operads and T -multicategories. More unexpectedly, this, in turn, sheds new lights on internal categories and n-categories.

Keywords

Cite

@article{arxiv.2401.11781,
  title  = {Kleisli categories, T-categories and internal categories},
  author = {Dominique Bourn},
  journal= {arXiv preprint arXiv:2401.11781},
  year   = {2024}
}

Comments

46 pages

R2 v1 2026-06-28T14:23:16.540Z