Talk:Beck's monadicity theorem
From Wikipedia, the free encyclopedia
| WikiProject Mathematics (Rated Stub-Class) | ||||||
|---|---|---|---|---|---|---|
| This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics. | ||||||
| Mathematics rating: | Stub Class | Low Priority | Field: Foundations, logic, and set theory | |||
|
||||||
"Passing to a category of coalgebras for a comonad T is a high-flown way of modelling what taking equivalence classes does, in less touchy situations." What? a few more details, or a reference, would be useful.
128.135.60.45 03:56, 8 August 2007 (UTC)

