identity functor on the category of sets

Notation

\id_{\Set}: \Set \to \Set

Domain category of setsCodomain category of setsLeft adjoint identity functor on the category of setsRight adjoint identity functor on the category of sets Related

(-)^2

,

2(-)

,

\Delta

,

U_{\FinSet,\Set}

External 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 isomorphism
is representable

Deduced properties

Unsatisfied properties

Assigned properties

—

Deduced properties*

—

*This also uses the deduced satisfied properties.

Unknown properties

—