# Forum

Activity

 This is a great question. I think a proof of $\top \vdash \e...In forum Basic questions 6 months ago My guess is that you can formulate and prove the isomorphism...In forum Toposes online 6 months ago I think this is a very interesting topic. One remark is that...In forum Toposes online 6 months ago Hi @orlando, Great! Your calculations made me think that t...In forum Toposes in Algebraic Geometry 7 months ago The more general context is interesting, in topos theory ter...In forum Toposes in Algebraic Geometry 7 months ago Hi @orlando, I agree that the two toposes agree. An altern...In forum Toposes in Algebraic Geometry 7 months ago Hi @orlando, The constructions you are describing about th...In forum Toposes in Algebraic Geometry 7 months ago Hi! To show injectivity: if$\mathbb{Z} \to \mathbb{Z}[x,y](...In forum Toposes in Algebraic Geometry 7 months ago Thanks, I understand now what you mean with the remark. And ...In forum Toposes in Algebraic Geometry 7 months ago Hi @orlando,Nice example. I agree with your notation, and I ...In forum Toposes in Algebraic Geometry 7 months ago @elio-pivet Yes, I agree, I didn't notice that part. In the ...In forum Toposes in Algebraic Geometry 7 months ago I'm still learning about this, but here are some ideas. Fi...In forum Toposes in Algebraic Geometry 7 months ago Hi! Topological spaces can often be interpreted as solutio...In forum Basic questions 9 months ago I agree that sheafification will not give an essential subto...In forum Basic questions 11 months ago Thanks! I didn't know Zoonekynd's thesis was available onlin...In forum Learning resources 11 months ago