Probably you will want to precisely define morphism at some point, but I recommend you do it sooner rather than later to enforce coherence.
by Jaime Sevilla Molina Jun 15 2016
Probably you will want to precisely define morphism at some point, but I recommend you do it sooner rather than later to enforce coherence.