Jump to content

Talk:Beck's monadicity theorem

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Untitled

[edit]

"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)[reply]

[edit]

Hello fellow Wikipedians,

I have just modified one external link on Beck's monadicity theorem. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

  • If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
  • If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 22:07, 16 July 2017 (UTC)[reply]

Compact Hausdorff spaces

[edit]

I think the claim that that U preserves all colimits is wrong, see this question on mathoverflow.

The monadicity theorem does indeed prove that U is monadic though - but the proof is a little bit more involved and relies on assumption that the coequalizer is U-split. --Mz147 (talk) 18:47, 15 June 2021 (UTC)[reply]

I removed the compact Hausdorff space example, because it is definitely false that the forgetful functor preserves all colimits. (For example, let $X_n$ be the quotient of $[0,1]\times\{0,1\}$ in which $(x,0)\sim(x,1)$ for $x\geq 2^{-n}$; then the colimit in compact Hausdorff spaces is just $[0,1]$ but the colimit in spaces has two copies of $0$.) The standard proof of Manes' Theorem does not use Beck's Theorem. If there is an alternate proof using Beck's Theorem then it would be good to include that, but I do not know where to find one. Neil Strickland (talk) 16:47, 28 May 2022 (UTC)[reply]