3.Next

In category theory, a branch of mathematics, for every object in every category where the product exists, there exists the diagonal morphism

:

satisfying

: for

where is the canonical projection morphism to the

3.Next