Talk:Beck's monadicity theorem
From Wikipedia, the free encyclopedia
| WikiProject Mathematics (Rated Stub-Class) | |||
|---|---|---|---|
 |
|||
| Mathematics rating: | Stub Class | Low Priority | Field: Foundations, logic, and set theory |
|
Please update this rating as the article progresses, or if the rating is inaccurate. |
|||
"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)
