- 1.
Functoriality. The assignment
defines functorswhere
is the functor where- Action on Objects. For each
, we have - Action on Morphisms. For each
, the action on -setsof
at is defined by sending to the functiondefined by
for each
.
and are the partial functors of at . - Action on Objects. For each