Endofunctor

A functor $T:\mathcal{C}\to \mathcal{C}$.

• Examples:
  • $\mathcal{P}:\mathbf{Set}\to \mathbf{Set}$ (power set functor)
  • Identity functor: ${\text{Id}}_{\mathcal{C}}$