Welcome to the Toposes online forum!

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

Parametrized geometric theories

First post and replies  | Last post by Olivia Caramello, 2 years ago

Stack theoretic interpretation of localic groupoid presentations

First post and replies  | Last post by Adam Dauser, 2 years ago

p-solid/liquid Abelian monoids?

First post and replies  | Last post by Steve.Vickers, 2 years ago

Geometric Logic

First post and replies  | Last post by Matthias Hutzler, 2 years ago

Gathertown link for post-schools social

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

Deriving easy results in all suitable categories, semantically

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

Late Registration - zoom links

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

Relationship between inverse/direct image and co/representable profunctors

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