Category of imaginaries

First post and replies  | Last post by Tjag, 1 year ago

Provability rules for existential quantifier

First post and replies  | Last post by Joshua Wrigley, 2 years ago

Sieves and sites

First post and replies  | Last post by Joshua Wrigley, 2 years ago

source-and-target structure

First post and replies  | Last post by posina, 2 years ago

Grothendieck Topology and Inference

First post and replies  | Last post by Joshua Wrigley, 2 years ago

Baum-Connes conjecture and topos

First post and replies  | Last post by Jens Hemelaer, 2 years ago

Properties of the Lattice of Theories

First post and replies  | Last post by Joshua Wrigley, 2 years ago

Essential subtopoi of presheaf topoi

First post and replies  | Last post by MatteoCapucci, 2 years ago

Coslice of a presheaf topos

First post and replies  | Last post by Morgan Rogers, 2 years ago

topos and number thory

First post and replies  | Last post by Jean-Jacques Brahim, 2 years ago