theHigherGeometer on Nostr: nprofile1q…tg0zc Maybe not a topos-theoretic account, but presumably a ...
nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqc9m22hkc5h6zgrwkz48crhcpw6vch2rf6j97746ugl3neys86jeqwtg0zc (nprofile…g0zc) Maybe not a topos-theoretic account, but presumably a Markov-category-theoretic one?