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/