trivial functor from the delooping

Notation

!_{BG}: BG \to \1

Domain delooping of a groupCodomain trivial category Related

!_\Grp

!_\Set

!_{\Idem}

Every category

\C

has a unique functor

!_{\C} : \C \to 1

into the trivial category. Here, we specify that

\C

is the delooping of a non-trivial group

G

It is a basic example of a conservative functor which is not faithful.

Satisfied properties

Assigned properties

—

Deduced properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

—