до меня только что дошло, что функция это морфизм между двумя объектами категории Set
Сейчас я тебе накину сверху. Функцию можно рассматривать как множество пар, которое удовлетворяет некоторым ограничениям, не суть. Важно, что функция это множество. То есть, это объект категории Set в той же мере, в которой и ее морфизм. Идём дальше. Множества поддаются сравнению, из чего следует что в Set определено равенство между морфизмами и объектами. Удивительное рядом.