The functor \(\rightarrow \)  preserves finite limits and small
coproducts.


It can be directly checked that the functor preserves binary products,
equalizers, and small coproducts, as described in Section REF ,
see also [1]}.
