trivial functor from the category of sets

Notation

!_\Set: \Set \to \1

Domain category of setsCodomain trivial category Related

!_\Grp

!_{BG}

!_{\Idem}

Every category $\C$ has a unique functor $!_{\C} : \C \to 1$ into the trivial category. Here, we specify that $\C$ is the category of sets.

Satisfied Properties

Assigned properties

—

Deduced properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

—