Endofunctor category

Let $𝖢$ be a category. The category of endofunctors $𝖢 𝖢$ is a monoidal category where an object is a endofunctor on $𝖢$ and a morphism is a natural transformation. #m/def/cat The tensor product of two endofunctors is their composite.

#state/develop | #lang/en | #SemBr