устаревшая?
по-моему скорее устаревшая только когда вы уже хорошо разобрались в теории категорий, её может быть полезно читать
Классическая. Но начинать с неё я бы не стал.
Кроме того, в логике есть XOR, а в материальных множествах — symmetric difference. Теоркат хуже, что ли?
А что такое "предикат равенства" в топосе? В internal logic топоса вроде нет никакого равенства
Хочу поделится тем что обнаружил, работая над своим 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" в котором есть задача найти терминальные объекты для категории. В первом задании терм...
Обсуждают сегодня