Проще не скажешь

[fregimus]

«…монада - моноидальный объект в категории эндофункторов: return - единица, а join - умножение. Проще этого и объяснить нельзя! Если это кажется запутанным, посмотрите на монаду как слабый функтор из терминальной бикатегории…»

Comments

[fregimus]

Проще всегда можно. А вторая попытка объяснения вообще из серии «профессора понесло» - через производные и более сложные понятия.

[fregimus]

Не знаю. Это зависит от аудитории, от того, что читатель должен знать. Первая часть вполне имеет смысл. А начиная от «проще и объяснить нельзя» - уже лишнее. Извинения ни к чему, и проще не получилось.

[realjouir]

Сразу вспоминается IgNobel Prize (2006 г.): профессор психологии из Принстона Дэниел Оппенгеймер доказал, что самые трудночитаемые тексты с засильем терминов плодят люди с низким IQ.

[fregimus]

Во-во. «Проще и объяснить нельзя» здесь кое-что выдает.

Действительно, проще не скажешь

[lenivtsyn]

> монада - моноидальный объект

idem per idem

Re: Действительно, проще не скажешь

[potan]

Ну для меня связь монад и моноидов до сих пор не очевидна.

Re: Действительно, проще не скажешь

[plakhov]

консервы, консерватор, консерватория

Re: Действительно, проще не скажешь

[lenivtsyn]

По-видимому, я здесь просто сел в лужу. Я вообще ничего не слышал о моноидах и подумал, что "моноидальный" - производное от "монады".

[pilot_pirx]

Вот самое доступное объяснение, которое мне встречалось: http://www.abitura.com/mathematics/arnold_2.htm

[fregimus]

Замечательная лекция, спасибо. Правда, там очень частный случай рассматривается.

[huzhepidarasa]

Там не частный случай, там просто совершенно другой объект. Арнольд никак не мог рассматривать частный случай чего бы то ни было из теории категорий.