**Puzzle 278**
Assuming \\(\otimes\\) is functor, it will map objects and morphisms as below:
It will also conserve composition of morphisms:
\\(\otimes((f \circ f'),(g \circ g')) = \otimes(f,g) \circ \otimes(f',g')\\)
It also needs to conserve identities:
\\(id_x \otimes id_y = id_{x \otimes y}\\)
Assuming \\(\otimes\\) is functor, it will map objects and morphisms as below:
It will also conserve composition of morphisms:
\\(\otimes((f \circ f'),(g \circ g')) = \otimes(f,g) \circ \otimes(f',g')\\)
It also needs to conserve identities:
\\(id_x \otimes id_y = id_{x \otimes y}\\)
Version 2.1.8p2
