@oantolin@MartinEscardo - indeed, most of us needed to learn any definition of category whatsoever - the nuances don't matter so much - before we could be attuned to the nuances of sameness (equality vs. isomorphism, etc.) and understand the problems of "evil", and appreciate why we'd want to avoid a definition of category that mentions equations between objects!