Welcome to the Toposes online forum!

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

Parametrized geometric theories

First post and replies  | Last post by Olivia Caramello, 1 year ago

Stack theoretic interpretation of localic groupoid presentations

First post and replies  | Last post by Adam Dauser, 1 year ago

p-solid/liquid Abelian monoids?

First post and replies  | Last post by Steve.Vickers, 1 year ago

Geometric Logic

First post and replies  | Last post by Matthias Hutzler, 1 year ago

Gathertown link for post-schools social

First post and replies  | Last post by Joshua Wrigley, 1 year ago

Deriving easy results in all suitable categories, semantically

First post and replies  | Last post by Jens Hemelaer, 1 year ago

Late Registration - zoom links

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

Relationship between inverse/direct image and co/representable profunctors

First post and replies  | Last post by Joshua Wrigley, 1 year ago