On topological groupoids that represent theories

Joshua Wrigley

Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz and Moerdijk showed that every topos with enough points can be represen…