Forum

Notifications
Clear all
Jens Hemelaer
Jens Hemelaer
Group: Registered
Joined: 2020-11-25
Eminent Member
2
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
Page 1 / 2
Share: