Clive Newstead Home Teaching Talks Other stuff

What follows is a list of talks I've given, in reverse-chronological order.

23. Natural models and tricategories of polynomialsnotesslides
HoTT MURI meeting, Carnegie Mellon University, 2017-03-24.

22. Locally cartesian closed categoriesnotes
80-814 Categorical Logic, Carnegie Mellon University, 2017-03-01.

21. Categories of natural models of type theory
Homotopy type theory seminar, Carnegie Mellon University, 2016-09-30.

20. Making sense of abstract nonsensevideo
Graduate Student Seminar, Carnegie Mellon University, 2016-11-15.

19. Engaging students in mathematics through active learningvideo
Teaching and Learning Summit, Carnegie Mellon University, 2016-10-14.

18. Categories of natural models of type theoryslides
International Category Theory Conference 2016, Dalhousie University, 2016-08-12.

17. Categories of natural models of type theoryslides
ASL Logic Colloquium 2016, University of Leeds, 2016-08-04.

16. What is structure?
CMU Math Club, Carnegie Mellon University, 2016-01-27.

15. Structure, species and stuffnotesvideo
Graduate Student Seminar, Carnegie Mellon University, 2016-01-19.

14. It's getting HoTT in here
Graduate Student Seminar, Carnegie Mellon University, 2015-04-23.

13. Report from the Oxford HoTT workshopnotesvideos
Homotopy Type Theory seminar, Carnegie Mellon University, 2014-11-13.

12. Introduction to topological data analysisslidesvideo
Graduate Student Seminar, Carnegie Mellon University, 2014-10-14.

11. A cornucopia of operadic curiosities
Graduate Student Seminar, Carnegie Mellon University, 2014-04-16.

10. Homotopy limits and colimits (5 talks)
Proseminar on stable homotopy theory, University of Pittsburgh, 2014-03-28 — 2014-04-26.

9. Review of category theory (2 talks)notes
Proseminar on stable homotopy theory, University of Pittsburgh, 2014-01-17 and 2014-01-24.

8. Presentation of Lawvere's paper, An elementary theory of the category of sets (1964)paperblog post
Kan Extension Seminar, 2014-01-06.

7. Cubical sets (2 talks)notes
Homotopy Type Theory seminar, Carnegie Mellon University, 2013-11-21 and 2013-12-05.

6. Hairy balls and ham sandwichesnotes
Graduate Student Seminar, Carnegie Mellon University, 2013-11-14.

5. Adjunctions! Everywhere!notes
Graduate Student Seminar, Carnegie Mellon University, 2013-09-19.

4. Permutation models, topological groups and Ramsey actionsnotes
"Making whoopee", University of Cambridge, 2013-06-27.

3. Permutation models of set theory from topological groupsnotes
Part III Seminar Series, University of Cambridge, 2013-03-15.

2. Making the axiom of choice fail
Part III Seminar Series, University of Cambridge, 2012-11-28.

1. Boolean-valued models and forcing (2 talks)notes
Fraenkel–Mostowski models reading group, University of Cambridge, 2012-11-12 and 2012-11-26.