Timeline for Is the category of toposes cocomplete ?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 21, 2011 at 14:40 | answer | added | Eduardo Pareja Tobes | timeline score: 5 | |
| Jul 21, 2011 at 7:48 | comment | added | Wouter Stekelenburg | Logical morphisms preserve logic, so the coproduct of a topos that satisfies some proposition $p$ with another topos that satisfies $\neg p$ would have to satisfy $p\land \neg p$. | |
| Jul 20, 2011 at 16:31 | history | edited | Funny clown | CC BY-SA 3.0 |
added 319 characters in body
|
| Jul 20, 2011 at 16:23 | comment | added | Eduardo Pareja Tobes | you said you mean elementary toposes, but which 1-cells: geometric morphisms? logical? and, which type of colimits: pseudo-colimits? bicolimits? strict 2-limits? | |
| Jul 20, 2011 at 16:21 | history | edited | Funny clown | CC BY-SA 3.0 |
added 20 characters in body; added 25 characters in body
|
| Jul 20, 2011 at 14:52 | answer | added | Benjamin Steinberg | timeline score: 2 | |
| Jul 20, 2011 at 14:37 | history | asked | Funny clown | CC BY-SA 3.0 |