category_theory.functor.of
The constant functor. For
X : C
,
of.obj X
is the functor
punit тед C
that maps
punit.star
to
X
.