加载中…
For a 2-category , we consider Street’s 2-category Mnd() of monads in , along with Lack and Street’s 2-category EM() and the identity-on-objects-and-1-cells 2-functor Mnd() EM() between them. We show that this 2-functor can be obtained as a “free completion” of the 2-functor . We do this by regarding 2-functors which act as the identity on both objects and 1-cells as categories enriched a cartesian closed category whose objects are identity-on-objects functors. We also develop some of the theory of -enriched categories.

生成讲解博客的中文版本

生成AI智能校验的中文版本