Olivia Caramello
Admin
Member
Joined: Oct 6, 2017
Last seen: Jun 22, 2026
Last seen: Jun 22, 2026
Follow
Forum
Replies: 0
Views: 591
Forum
Replies: 0
Views: 668
Forum
Replies: 0
Views: 608
Replies: 0
Views: 1197
5 years ago
Forum
Replies: 1
Views: 971
Forum
Replies: 1
Views: 867
RE: Grothendieck Topology and Inference
Hi @lingyuan-ye , welcome to the forum! Concerning the relation between Grothendieck topologies and deductive systems, I suggest you look at these ...
5 years ago
Forum
Forum
Replies: 0
Views: 767
RE: Stack exchange questions
@morgan-rogers Thanks for posing these questions! Let me start by addressing the second and third; for the first, Laurent Lafforgue (@l-lafforgue) mig...
5 years ago
Forum
Replies: 0
Views: 639
Forum
Replies: 0
Views: 672
RE: Hello
@mateocarmona Great project, thanks!
5 years ago
Forum
RE: Essential subtopoi of presheaf topoi
@matteocapucci Maybe the confusion is due to the non-standard use of the term 'ideal'? By a two-sided ideal on $\cal C$ I meant a collection of arro...
5 years ago
Forum