watched this again
http://ivan-gandhi.livejournal.com/2277457.html
About math, logic, comp sci, categories.
Seems like I know what's in the middle. Where all this comes from. It's topos theory. Yes, with the classifier. Without the classifier it is all pretty much demonstrated in popular terms in part 1 of Rosetta Stone.
About math, logic, comp sci, categories.
Seems like I know what's in the middle. Where all this comes from. It's topos theory. Yes, with the classifier. Without the classifier it is all pretty much demonstrated in popular terms in part 1 of Rosetta Stone.