CatDat

Structure

identity functor on the category of sets

notation: $\id_{\Set}$ : $\Set$ → $\Set$
Source: category of sets
Target: category of sets
Left adjoint: $\id_{\Set}$
Right adjoint: $\id_{\Set}$
Related functors: $\Delta$ , $2(-)$ , $(-)^2$
nLab Link

Every category $\C$ has an identity functor $\id_{\C} : \C \to \C$ . Here, we specify that $\C$ is the category of sets.

Satisfied Properties

Assigned properties

is an equivalence
is representable

Deduced properties

Unsatisfied Properties

Assigned properties

—

Deduced properties*

—

*This also uses the deduced satisfied properties.

Unknown properties

—