во все другие есть стрелки (возможно несколько), а в себя только тождественная? То есть как инициальный, но в другие объекты может быть несколько стрелок. Этим свойством, вроде бы, однозначно с точностью до изоморфизма определяется
Это какой-то частный случай слабого инициального объекта
Обсуждают сегодня