Надо картинку. Пусть X множество, A подмножество, Ord(X) множество структур порядка на X (тотальность порядка на них можно добавить но вроде не обязательно) и тд Какую диагр...
Множество автоморфизмов это подмножества множества эндоморфизмов. Множество эндоморфизмов это экспоненциальный объект. Для двойственности видимо нужен коэкспоненциальный? Ко...
Снова вопрос о том как что-то выразить картинкой. Пусть у меня есть категория категорий. Пусть в ней есть подкатегория C. Эта категория входит в категорию категорий одновреме...
Какая конструкция говорит мне что если у меня есть подмножество тотального порядка то на нем тоже есть тотальный порядок? Причём независимо от того что за порядок. Это очевид...
Это то же самое что и "сколько нестандартных моделей"? Если нет то я не понял вопрос.
Стрелочка это часть языка формальной системы, а турникет нет. Если в языке есть равенство то там могут быть строки вида "A = B", а если есть ещё и константы то и "A = 0". Но ...
В нем есть or?
Иногда последняя линейная мапа это просто транспонированная первая. (кстати расскажите пожалуйста это вообще хорошая практика или нет?)
Добрый день, может ли кто нибудь подсказать что можно почитать посмотреть на тему преобразования фраз естественного языка, вроде "наверное да", "наверное нет", "скорее всего д...
В каком смысле правило?
ну алгебру какую нибудь, типа теории групп. а что уже знаешь, какая цель?