Topos Theory in a Nutshell(math.ucr.edu)
math.ucr.edu
Topos Theory in a Nutshell
https://math.ucr.edu/home/baez/topos.html
4 comments
I really love experts sharing their reading list! It took me ten minutes to read this page and 5 seconds to bookmark the referenced books. But how many years will it take me to read all them? 5 years? LOL
Exciting ideas, but totally over my head.
But I like the idea of developing mathematics from a category theoretical point of view.
But I like the idea of developing mathematics from a category theoretical point of view.
> we keep track of "how" true statements are, or more precisely where they are true.
I’m reminded of Greg Egan’s short story Luminous, in which a supercomputer brute-forces over a boundary between (by the definitions in this article) something like topoi.
I’m reminded of Greg Egan’s short story Luminous, in which a supercomputer brute-forces over a boundary between (by the definitions in this article) something like topoi.
very interesting … makes a nice & easy read …