сегодня размышлял не смог найти ответ. Про natural transformation. Есть ли для двух функторов некоторые требования, наличие которых необходимо и достаточно для того чтобы построить между ними морфизм? Или это сугубо кастомная штука?
Кастомная
Обсуждают сегодня