Welcome to the Toposes online forum!

First post and replies  | Last post by ExStruttura, 2 months ago

Parametrized geometric theories

First post and replies  | Last post by Olivia Caramello, 3 months ago

Stack theoretic interpretation of localic groupoid presentations

First post and replies  | Last post by Adam Dauser, 3 months ago

p-solid/liquid Abelian monoids?

First post and replies  | Last post by Steve.Vickers, 3 months ago

Geometric Logic

First post and replies  | Last post by Matthias Hutzler, 3 months ago

Gathertown link for post-schools social

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

Deriving easy results in all suitable categories, semantically

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

Late Registration - zoom links

First post and replies  | Last post by jake_gillberg, 3 months ago

Relationship between inverse/direct image and co/representable profunctors

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