Diagonal functor
In category theory, a branch of mathematics, the diagonal functor is given by
, which maps objects as well as morphisms. This functor can be employed to give a succinct alternate description of the product of objects within the category
: a product
is a universal arrow from
to
. The arrow comprises the projection maps.