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

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}$.

Created on February 26, 2024 at 22:31:35. See the history of this page for a list of all contributions to it.