Timeline for When does a "representable functor" into a category other than Set preserve limits?
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| May 10, 2010 at 20:11 | comment | added | user2734 | OK, now I have a (hopefully) correct direct proof. | |
| May 10, 2010 at 20:10 | history | edited | user2734 | CC BY-SA 2.5 |
corrected the example of dnamical systems
|
| May 10, 2010 at 9:01 | comment | added | user2734 | Oops, the part concerning dynamical systems is wrong: the category of algebras for the identity monad on $\mathbf{Set}$ is just $\mathbf{Set}$. But I think that I can prove creation directly in this example, and I will soon either send the correction or declare the last example as open. | |
| May 5, 2010 at 15:14 | vote | accept | Qiaochu Yuan | ||
| May 5, 2010 at 12:51 | history | answered | user2734 | CC BY-SA 2.5 |