Talks and presentations
These talks were given as part of courses or seminars. Handwritten notes which were written down as a part of the talks are attached, but are missing quite a bit of the context which was provided verbally. Not particularly useful.
- A categorical version of Brown’s Representability Theorem: Based on Heller’s paper.
Elementary Topoi.pdf: A basic introduction to Elementary topi, generalized elements and Lawvere’s ETCS.
Hilbert’s 17th problem: Based off of the proof given in Marker’s **Model Theory: An Introduction.” This was a collaborative talk, but this just includes my part in it.
- The Joyal Model structure on simplicial sets: Based on Chris Kapulkin’s notes on higher category theory.