**Puzzle 278**


Assuming \\(\otimes\\) is functor, it will map objects and morphisms as below:

![monoidal category](http://aether.co.kr/images/monoidal_category.svg)


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}\\)