Timeline for Does the functor $\mathrm{Sh}\colon\mathbf{Top}\to\mathbf{Topos}$ have an adjoint?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 7, 2021 at 2:23 | comment | added | Martin Brandenburg | "I already asked this on math.SE but I didn't get an answer" Well, I left a comment there with which you could have find an answer yourself. (math.stackexchange.com/questions/4217568) Notice that Dmitri's answer exactly follows that suggestion. | |
| Aug 6, 2021 at 21:47 | vote | accept | user333306 | ||
| Aug 6, 2021 at 18:41 | comment | added | Tim Campion | Are the reductions you give meant to be "if and only if" reductions? Clearly if $Loc \to Topos$ and $Top \to Loc$ had these additional adjoints then so would $Top \to Topos$, but the converse is not clear (to me) (though see my comment on Dmitri Pavlov's answer below). | |
| Aug 6, 2021 at 18:28 | comment | added | Tim Campion | Are your toposes Grothendieck toposes? | |
| Aug 6, 2021 at 18:27 | answer | added | Dmitri Pavlov | timeline score: 10 | |
| Aug 6, 2021 at 17:20 | history | asked | user333306 | CC BY-SA 4.0 |