Timeline for Are there simple conditions on a category C which guaranty that Ind(C) is a Grothendieck topos?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 6, 2021 at 15:24 | answer | added | varkor | timeline score: 8 | |
| Jun 20, 2012 at 8:17 | history | edited | Tomer Schlank | CC BY-SA 3.0 |
added 14 characters in body; edited title
|
| Jun 20, 2012 at 8:04 | history | edited | Tomer Schlank | CC BY-SA 3.0 |
added 22 characters in body
|
| Jun 19, 2012 at 18:27 | comment | added | Benjamin Steinberg | The standard books like Jounstone or Mac Lane Moerdijk discuss coherent toposes and objects. I am not sure if they axiomatize them. Topos theory is not my specialty. | |
| Jun 19, 2012 at 17:56 | comment | added | Tomer Schlank | Thank you for your answer, Is there a way to identify a category as a category of coherent objects? Is there a good reference on the subject of coherent objects/topoi ? | |
| Jun 19, 2012 at 13:11 | comment | added | Benjamin Steinberg | I believe every coherent topos is the Ind completion of its subcategory of coherent objects. This covers classifying toposes of profinite groups and other similar examples. | |
| Jun 19, 2012 at 12:19 | history | asked | Tomer Schlank | CC BY-SA 3.0 |