**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 hours.** I will be in my office (Wean Hall 8205) at the following times:

**Mondays 15:15–16:15, Fridays 08:30–09:30**

**I will be away 5th—11th November: all office hours are cancelled during this time!**

If you can't make the office hours and you need my help, I'm just an email away.

Fall 2014 | Calculus in Three Dimensions (21-259) — TA |

Undergraduate seminar (21-490) — TA | |

Summer 2014 | Multivariate Analysis (21-256) — lecturer |

Spring 2014 | Concepts of Mathematics (21-127) — TA |

Fall 2013 | Differential and Integral Calculus (21-120) — 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.

**Representation Theory**. Cambridge, Part III, Lent Term 2013.*Lectured by S. Martin.*- Lecture notes — TeX source
**Number Fields**. Cambridge, Part II, Lent Term 2012.*Lectured by T. A. Fisher.*- Lecture notes (without proofs)

**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 first-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.