10 followers Μίττον@圏論ソルジャー(गजस्पृशन्ध) @mitton5772 Topos-theoretic factorization of non-standard extensions https://t.co/nYZYfKZv6c 16 Mar 2022 Reply Repost Favourite