Timeline for Subobjects as an object in a topos
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 15, 2021 at 20:48 | history | edited | Paul Taylor | CC BY-SA 4.0 |
added 450 characters in body
|
| Sep 15, 2021 at 20:21 | vote | accept | truebaran | ||
| Sep 15, 2021 at 16:53 | comment | added | Andrej Bauer | Paul gave you all the ingridients: $Sub(A) \sim \mathcal{E}(A, \Omega) \sim \mathcal{E}(1 \times A, \Omega) \sim \mathcal{E}(1, \Omega^A)$, so the object you are looking for is $\Omega^A$ (because the global points of $\Omega^A$ are in natural bijective correspondence with the subobjects of $A$). | |
| Sep 15, 2021 at 16:48 | comment | added | truebaran | Thank you-as I have understood, in your answer if we plug in some $A$ to both sides we get just a set: but I would like $Sub(A)$ to be an object in my topos | |
| Sep 15, 2021 at 15:20 | history | answered | Paul Taylor | CC BY-SA 4.0 |