Не чую. Более того, я не понимаю, почему относительно недавно возникшая терминология должна удовлетворить сразу всех. Как я писал ниже, математики успели первыми. Поэтому называть монаду трубой, чтобы потом помнить, что труба это монада как мне кажется попахивает шизофренией.
Во кавалерия подтянулись. С аргументом не согласен. Новые теории всегда сталкиваются с необходимостью построения названий. И если они находят параллели в уже существующих теориях это хорошо. Иначе периодически пришлось бы вспоминать что Mappble это Functor. А от необходимости учить определения никто не избавлен.
Map вообще появляется от слабой выразительности языка и наличия экспоненты в категории типов.
Пример категории где морфизмы не функции или пример структуры без композиции?
Первое — категория, которая получается из частично упорядоченного множества, объекты — элементы этого множества, а стрелка между двумя объектами существует тогда и только тогда, когда один не больше другого.
Второе — три объекта, три единичных стрелки и две стрелки из первого объекта во второй и из второго в третий.
Почему помидор жёлтый? Потому что зелёный. Как-то так. Без требования существования композиции теория сильно обеднится. Структуры в которых композиции стрелок может не быть существуют, пример дали ниже.
С другой стороны медали — топливный сектор экономики, такси, общественный транспорт и т.д., которые эти миллиарды не получили и не потратили, в свою очередь, на ЖКХ, питание, образование и т.д..
Дел.
Конечные множества перечеслимы.
Нет царских путей.
ЖЖили были очень интуитивное множества, а потом появился Кантор.
Следуя вам получается, что теория алгоритмов это не математика.
Не чую. Более того, я не понимаю, почему относительно недавно возникшая терминология должна удовлетворить сразу всех. Как я писал ниже, математики успели первыми. Поэтому называть монаду трубой, чтобы потом помнить, что труба это монада как мне кажется попахивает шизофренией.
Пока я чувствую шаткость ваших аргументов. Отображение и образ отображения это разные вещи.
Монада это
Эндофунктор с двумя естественными преобразованиями, удовлетворяющим соответствующим равенствам. А не то что вы написали.
Композиция функторов — функтор. Композиция естественных преобразований — естественное преобразование. Тривиальные вещи, но на поверхности. Глубже — катаморфизм как обобщение рекурсии. Линзы придумать без теорката имхо анриал.
Во кавалерия подтянулись. С аргументом не согласен. Новые теории всегда сталкиваются с необходимостью построения названий. И если они находят параллели в уже существующих теориях это хорошо. Иначе периодически пришлось бы вспоминать что Mappble это Functor. А от необходимости учить определения никто не избавлен.
Map вообще появляется от слабой выразительности языка и наличия экспоненты в категории типов.
Нет, вы все перепутали. Каждый раз, когда вы используете монаду, вы знаете что там есть единица и можете ей воспользоваться.
Мешает то, что стрелки не функции, они никчему не применяются. И, по условию, того что могло бы претендовать на композицию просто нет.
Пример категории где морфизмы не функции или пример структуры без композиции?
Первое — категория, которая получается из частично упорядоченного множества, объекты — элементы этого множества, а стрелка между двумя объектами существует тогда и только тогда, когда один не больше другого.
Второе — три объекта, три единичных стрелки и две стрелки из первого объекта во второй и из второго в третий.
Категории это не про функции, точнее не только про функции.
Почему помидор жёлтый? Потому что зелёный. Как-то так. Без требования существования композиции теория сильно обеднится. Структуры в которых композиции стрелок может не быть существуют, пример дали ниже.
Моноид это полугруппа с единицей. Может поэтому.
Царских путей нет. Монада потому что её коммутативным диаграммы очень похожи на диаграммы моноида.
Смысл требования в том, что оно требуется. Это называется аксиоматической подход.
Прекрасно. Так что делать тем, на чьих услугах сэкономили? Что им кушать, чем платить за квартиру, за учёбу, за медицину, за интернет?
С другой стороны медали — топливный сектор экономики, такси, общественный транспорт и т.д., которые эти миллиарды не получили и не потратили, в свою очередь, на ЖКХ, питание, образование и т.д..
Кмк ещё необходимо контролировать, чтобы состояние не повторялось.