Un endomorfismo $f$ tal que $f\circ f=1$

Question

¿Cuál es el nombre de un endomorfismo $f$ de una categoría tal que $f\circ f=1$?

Tenga en cuenta que yo trabajo con categoría de $\mathbf{Set}$.

Answer 1

Un mapeo $f:X\to X$, para un conjunto $X$, los cuales satisfacen $f\circ f=1$ se llama involución.