Упражнения по коалгебрам и комодулям

[posic]

http://mathoverflow.net/questions/33703/comodule-exercises-desired/33715#33715

Там же прекрасная цитата (John Moore):

There are two ‘evil’ influences at work here:
1. we are toilet trained with algebras not coalgebras
2. some of us are addicted to manifolds and so think of differential forms as given by God and all the rest are the works of man.

Погуглевав, нашел источник, где содержится также рекомендация:

never dualize unless absolutely necessary

http://golem.ph.utexas.edu/category/2009/11/doldkan_question.html

Comments

[nivanych.livejournal.com]

> we are toilet trained with algebras not coalgebras

То же можно сказать и про программирование.
Почему-то, использование коалгебр и комонад распостранено мало.