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