nLab copointed endofunctor

Idea

An endofunctor on a category $\mathcal{A}$ is copointed if it is equipped with a natural transformation to the identity functor.

Definition

Definition

An endofunctor $S \colon \mathcal{A}\to \mathcal{A}$ is called copointed if it is equipped with a natural transformation $\sigma \colon S \to Id_\mathcal{A}$ to the identity functor on $\mathcal{A}$.

Related pages

• pointed endofunctor