Talk:Beck's monadicity theorem
From Wikipedia, the free encyclopedia
"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)