source-and-target structure

First post and replies  | Last post by posina, 4 weeks ago

Grothendieck Topology and Inference

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

Baum-Connes conjecture and topos

First post and replies  | Last post by Jens Hemelaer, 3 months ago

Properties of the Lattice of Theories

First post and replies  | Last post by Joshua Wrigley, 5 months ago

Essential subtopoi of presheaf topoi

First post and replies  | Last post by MatteoCapucci, 6 months ago

Coslice of a presheaf topos

First post and replies  | Last post by Morgan Rogers, 6 months ago

topos and number thory

First post and replies  | Last post by Jean-Jacques Brahim, 6 months ago

In what sense does a functor "lift/create/detect" limits?

First post and replies  | Last post by Sayantan Roy, 7 months ago

Roos theorem

First post and replies  | Last post by posina, 7 months ago

Adjunction of frames and its induced adjunction of presheaf topoi

First post and replies  | Last post by MatteoCapucci, 7 months ago