структуру 2-категории? (в смысле есть ли строгие утверждения на эту тему)
I think it's usually because a type theory is interpreted as a category
А что такое "предикат равенства" в топосе? В internal logic топоса вроде нет никакого равенства
Кроме того, в логике есть XOR, а в материальных множествах — symmetric difference. Теоркат хуже, что ли?
Хочу поделится тем что обнаружил, работая над своим DSL. Буду благодарен если желающие здесь конструктивно прокомментируют, покритикуют и т.д. https://docs.google.com/document...
Надо картинку. Пусть X множество, A подмножество, Ord(X) множество структур порядка на X (тотальность порядка на них можно добавить но вроде не обязательно) и тд Какую диагр...
Я читаюстатью Philip Wadler: "Views:A way for pattern matching to cohabit with data abstraction", но там примерыданы на устаревших языках программирования. Кто нибудь пытался ...
У меня возникают периодически примитивные вопросы, например, моноид это категория с одним объектом, в котором все морфизмы эндоморфизмы. Например, в случае целых чисел мы може...
Множество автоморфизмов это подмножества множества эндоморфизмов. Множество эндоморфизмов это экспоненциальный объект. Для двойственности видимо нужен коэкспоненциальный? Ко...
Здравствуйте! Есть ли какое-то название для объекта в категории, из которого во все другие есть стрелки (возможно несколько), а в себя только тождественная? То есть как инициа...
Снова вопрос о том как что-то выразить картинкой. Пусть у меня есть категория категорий. Пусть в ней есть подкатегория C. Эта категория входит в категорию категорий одновреме...
Я только что начал изучать теорию категорий и читаю учебник "Programming with Categories" в котором есть задача найти терминальные объекты для категории. В первом задании терм...
Обсуждают сегодня