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