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