Функторы бывают ковариантные и контровариантные. Бифункторы могут быть ковариантнтнымт по одному аргументу и контравариантными по другому. (,) ковариантен по обоим аргументам. А (->) контравариантен по первому и контравариантен по второму. И, до кучи, композиция контравариантный функторов будет ковариантна.
Существование несчетного множества это другая теорема. О том, что множество всех подмножеств несоизмеримо с исходным. Правда классическое доказательство — от противного.
Множество бесконечных строк над конечным алфавитом несчетно.
Про построение — фокус в хвостах рядов. Множество голов рядов — счётно, а вот хвостов — нет.
Не чую. Более того, я не понимаю, почему относительно недавно возникшая терминология должна удовлетворить сразу всех. Как я писал ниже, математики успели первыми. Поэтому называть монаду трубой, чтобы потом помнить, что труба это монада как мне кажется попахивает шизофренией.
Функторы бывают ковариантные и контровариантные. Бифункторы могут быть ковариантнтнымт по одному аргументу и контравариантными по другому. (,) ковариантен по обоим аргументам. А (->) контравариантен по первому и контравариантен по второму. И, до кучи, композиция контравариантный функторов будет ковариантна.
Кмк статья для тех кто уже знает, но, все равно, спасибо.
Это в школе.
Добавить докер и k8s.
Вещественное число это не бесконечная десятичная дробь, а предел последовательности. Видимо ошибка здесь.
Раз без циклов, то, в данном случае, предъявите теорию вероятностей без теории меры.
Существование несчетного множества это другая теорема. О том, что множество всех подмножеств несоизмеримо с исходным. Правда классическое доказательство — от противного.
Множество бесконечных строк над конечным алфавитом несчетно.
Про построение — фокус в хвостах рядов. Множество голов рядов — счётно, а вот хвостов — нет.
То что аксиоматическая теория вероятностей построена на теории меры вас видимо не беспокоит. Как и интеграл Лебега.
Определённые на всем множестве натуральных чисел.
Осень.
Сложность в O нотации считается для тотальных функций.
Дел.
Дел.
Конечные множества перечеслимы.
Нет царских путей.
ЖЖили были очень интуитивное множества, а потом появился Кантор.
Следуя вам получается, что теория алгоритмов это не математика.
Не чую. Более того, я не понимаю, почему относительно недавно возникшая терминология должна удовлетворить сразу всех. Как я писал ниже, математики успели первыми. Поэтому называть монаду трубой, чтобы потом помнить, что труба это монада как мне кажется попахивает шизофренией.
Пока я чувствую шаткость ваших аргументов. Отображение и образ отображения это разные вещи.
Монада это
Эндофунктор с двумя естественными преобразованиями, удовлетворяющим соответствующим равенствам. А не то что вы написали.