>Однако, оверхед про ноль примерно такой же, как и оверхед частичных операций. Но они более привычны

На ваш вкус, быть может, и так, а я своё мнение уже выразил во фразе «Это стандартное определение категории через морфизмы, но сформулированное так, что не надо писать занудство типа "(xy)z определено тогда и только тогда..."».

Наличие нуля --- это не структура, а свойство (c), лично мне со своим определением намного приятнее. Только надеюсь, что ничего не напутал, но вроде всё ок.