Apparently, this user prefers to keep an air of mystery about them.
3 What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory? aug 15
1 Why doesn't Hom commute with taking stalks? jan 20 '14