Clive Newstead Home Talks Other stuff
Email. The best way to get hold of me is by sending an email to cnewstead-at-cmu-dot-edu.
Office. Wean Hall 8205.
| Semester | Course code | Course name | Role |
| Summer II 2015 | 21-127 | Concepts of Mathematics | Instructor |
| Spring 2015 | — | Studying for qualifying exam; no teaching. | — |
| Fall 2014 | 21-259 | Calculus in Three Dimensions | TA |
| Fall 2014 (Mini 1) | 21-490 | Undergraduate seminar | TA |
| Summer I 2014 | 21-256 | Multivariate Analysis | Instructor |
| Spring 2014 | 21-127 | Concepts of Mathematics | TA |
| Fall 2013 | 21-120 | Differential and Integral Calculus | TA |
Cubical sets. I'm in the process of writing up some notes on cubical sets. They're still in an early stage of development, but you can download them here (Last updated: 2013-11-26)
Topos Theory. In case it's of any use to future sufferers, I am keeping the web page online for the 2012–13 Part III Topos Theory course.
Lecture notes. I am maintaining a few sets of lecture notes that I have taken. Please let me know if you find any mistakes.
Essay. My Part III essay was entitled Permutation Models for Set Theory and supervised by Thomas Forster. It explores some of the quirks that appears when you admit atoms into your theory of sets.
I'm a second-year PhD student at Carnegie Mellon University in Pittsburgh. I did my other degrees at Cambridge (Robinson College). My academic interests lie in category theory, topology and logic; I'm currently trying to learn all there is to learn about homotopy type theory.