— что такое категория Set. Тогда топосы аннигилируют в множества?
Да вот мне кажется, что в ETCS теория категорий выглядит также как в ZFS с точностью до изоморфизмов
Кроме того, в логике есть XOR, а в материальных множествах — symmetric difference. Теоркат хуже, что ли?
Хочу поделится тем что обнаружил, работая над своим DSL. Буду благодарен если желающие здесь конструктивно прокомментируют, покритикуют и т.д. https://docs.google.com/document...
Надо картинку. Пусть X множество, A подмножество, Ord(X) множество структур порядка на X (тотальность порядка на них можно добавить но вроде не обязательно) и тд Какую диагр...
Здравствуйте! Есть ли какое-то название для объекта в категории, из которого во все другие есть стрелки (возможно несколько), а в себя только тождественная? То есть как инициа...
Множество автоморфизмов это подмножества множества эндоморфизмов. Множество эндоморфизмов это экспоненциальный объект. Для двойственности видимо нужен коэкспоненциальный? Ко...
Снова вопрос о том как что-то выразить картинкой. Пусть у меня есть категория категорий. Пусть в ней есть подкатегория C. Эта категория входит в категорию категорий одновреме...
несколько оффтопик, но как бы вы назвали множество всех путей на графе из узла A в узел B? помимо path space
У меня возникают периодически примитивные вопросы, например, моноид это категория с одним объектом, в котором все морфизмы эндоморфизмы. Например, в случае целых чисел мы може...
мне для обозначения разницы между path как конкретным путём на графе из а в б и ????? как множеством всех путей на графе из а в б
Какая конструкция говорит мне что если у меня есть подмножество тотального порядка то на нем тоже есть тотальный порядок? Причём независимо от того что за порядок. Это очевид...
Обсуждают сегодня