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 '14
3 Why Zariski topology? oct 5
2 Stack semantics for the layman nov 29
2 Why doesn't Hom commute with taking stalks? jan 20 '14