Thanks to visit codestin.com
Credit goes to catdat.app

CatDat

Structure

identity functor on the category of sets

notation: $\id_{\Set}: \Set \to \Set$
Source: category of sets
Target: category of sets
Left adjoint functor: $\id_{\Set}$
Right adjoint functor: $\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 isomorphism
is representable

Deduced properties

Unsatisfied Properties

Assigned properties

—

Deduced properties*

—

*This also uses the deduced satisfied properties.

Unknown properties

—