A
Ну да, вот так я это понимаю теперь... Т.е. равенство это вот просто символ с 3 св-вами, перечисленными выше и оно просто есть. Но как только мы укажем на конкретную категорию, то нужно будет объяснить что оно значит. Всем большое спасибо за объяснения!
Но дело в том, что почти никогда не указывают, подразумевая обычное равенство (у него эти свойства автоматически выполнены). Ну и да, в высших категориях появляются морфизмы между морфизмами, так что можно будет рассматривать изоморфные морфизмы, но это более сложная наука.
