попытка конструктива

[avva]

Что вы не знаете и хотели бы узнать?

Что вы не понимаете и хотели бы понять?

Напишите в комментариях, и может, другие люди, читающие этот журнал, смогут рассказать, объяснить или дать нужные ссылки.

(это пробный камень. Если запись оправдает себя, сделаю ее регулярной. Прошу не троллить и не паясничать, спасибо)

Comments

[begemotv2718.livejournal.com]

Угу, спасибо, будем посмотреть.

[posic.livejournal.com]

Теорема Барра-Бека называется по-английски Barr-Beck theorem или triality theorem ("теорема тройственности", монады раньше называли также "тройками"), ее можно найти в стандартных источниках по категориям и монадам (скажем, в книжке Categories for the Working Mathematician). Это вы, возможно, и без меня все знаете.

Последующие публикации, упомянутые выше в п.1, суть http://arxiv.org/abs/math/9811155 и http://arxiv.org/abs/math/0104114