g ○ f, если f: A -> B, g: B -> A будет IdA?
не фортит
А какие конкретные примеры морфизмов вы себе при этом представляете?
А что такое "предикат равенства" в топосе? В internal logic топоса вроде нет никакого равенства
Кроме того, в логике есть XOR, а в материальных множествах — symmetric difference. Теоркат хуже, что ли?
Хочу поделится тем что обнаружил, работая над своим DSL. Буду благодарен если желающие здесь конструктивно прокомментируют, покритикуют и т.д. https://docs.google.com/document...
Я читаюстатью Philip Wadler: "Views:A way for pattern matching to cohabit with data abstraction", но там примерыданы на устаревших языках программирования. Кто нибудь пытался ...
Надо картинку. Пусть X множество, A подмножество, Ord(X) множество структур порядка на X (тотальность порядка на них можно добавить но вроде не обязательно) и тд Какую диагр...
У меня возникают периодически примитивные вопросы, например, моноид это категория с одним объектом, в котором все морфизмы эндоморфизмы. Например, в случае целых чисел мы може...
Здравствуйте! Есть ли какое-то название для объекта в категории, из которого во все другие есть стрелки (возможно несколько), а в себя только тождественная? То есть как инициа...
Множество автоморфизмов это подмножества множества эндоморфизмов. Множество эндоморфизмов это экспоненциальный объект. Для двойственности видимо нужен коэкспоненциальный? Ко...
Снова вопрос о том как что-то выразить картинкой. Пусть у меня есть категория категорий. Пусть в ней есть подкатегория C. Эта категория входит в категорию категорий одновреме...
мне для обозначения разницы между path как конкретным путём на графе из а в б и ????? как множеством всех путей на графе из а в б
Обсуждают сегодня