Post #3213603

Ingo has done a lot of work on topos theory, in particular exploring the internal language of a topos, which resonates with my point of view regarding constructive mathematics. @iblech@mathstodon.xyz