![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
watched this again
Apr. 25th, 2015 09:02 pmhttp://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.
