7,865 followers
@mraginsky @carl_b_sachs @rplevy @0K_ultra @CrispinSartwell If you're interested, Steve Vickers has worked on this idea, and he explicitly ties geometric logic (which is the internal logic of domains/grothendieck topoi) to the logic of observation and data