Owen Lynch on Nostr: nprofile1q…4rrqe nprofile1q…7dg4r Man, I love topos theory. So complicated, but ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyqsh7vgrwrv0285hkx5sm8yxgckh70jdt6awux9kwuu704myr5zfjf7dg4r (nprofile…dg4r) Man, I love topos theory. So complicated, but so many tools for figuring things out too! You can just work out an "introductory model theory-level" argument for why models of a geometric theory in "Set" aren't closed under coproduct, and that tells you something about crazy synthetic stuff.