Timeline for Equalizer completion
Current License: CC BY-SA 2.5
7 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/
|
|
| Nov 16, 2010 at 14:20 | comment | added | Buschi Sergio | Of course $\mathcal{C}^>$ is the category of presheaves on $\mathcal{C}$: $[\mathcal{C}^{op}, Set]$ this convention is well known and used by Grothendieck and other texts on category theory. That $C_K$ has the universal propriety follow because $F$ has a Ker-preserving extention to any $Y^n\mathcal{C}$ unique but isomorphisms. | |
| Nov 15, 2010 at 13:13 | comment | added | Andrej Bauer | What is Yoneda immersion what is $\mathcal{C}^{>}$? Also, for this to be called a proof you'd have to show that $\mathcal{C}_K$ has the appropriate universal property. | |
| Nov 15, 2010 at 9:16 | history | edited | Buschi Sergio | CC BY-SA 2.5 |
added 948 characters in body
|
| Nov 14, 2010 at 23:27 | history | edited | Buschi Sergio | CC BY-SA 2.5 |
added 9 characters in body
|
| Nov 14, 2010 at 23:17 | history | edited | Buschi Sergio | CC BY-SA 2.5 |
deleted 10 characters in body
|
| Nov 14, 2010 at 23:11 | history | answered | Buschi Sergio | CC BY-SA 2.5 |