Endomorphisms of an object in a bicategory, as a monoidal category. #
The endomorphisms of an object in a bicategory can be considered as a monoidal category.
Instances For
instance
CategoryTheory.instCategoryEndMonoidal
{C : Type u_1}
[CategoryTheory.Bicategory C]
(X : C)
:
instance
CategoryTheory.instInhabitedEndMonoidal
{C : Type u_1}
[CategoryTheory.Bicategory C]
(X : C)
: