По первому вопросу - есть каноническое разложение функций на сюр и ин (если оно есть); кроме того, мономорфизмы имеют некоторые хорошие свойства, как и эпиморфизмы. Помогают различать морфизмы (ака функции). Если за двумя функциями следует инъекция, и обе композиции равны, то функции равны.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2017-11-23 03:18 am (UTC)