Typo in src/content/1.8/functoriality.tex line 30

[yperikov]

Hi, line 30 should be: category $\cat{C}\times{}\cat{D}$. We define a morphism in a Cartesian product of categories

this is already fixed here: https://bartoszmilewski.com/2015/02/03/functoriality/