В логической семиотике функтор, который из элементарного функтора образует сложный, называют функторальным пропозициональным

Позволит учиться лучше и быстрее. Неограниченный доступ к базе и ответам от экспертов и ai-bota Оформи подписку