4 ms·It’s a good claim. Topos theory is a statement about type systems, right?by bionhoward 5y agoIt’s a good claim. Topos theory is a statement about type systems, right?