for Jacob Neumann

Welcome!

Thanks for visiting my personal webpage. My name is Jacob Neumann, I'm a graduate student studying (and teaching) logic, philosophy, type theory, and category theory. Use the links above to learn more about my work!

Recent News

• Apr. 11: I delivered a participant talk, A Crash Course on Yoneda Reasoning, at the 2024 Midlands Graduate School. My slides are available here.
• Apr. 04: I delivered a talk, Towards Modal SOGATs, at the 2024 Meeting of EuroProofNet Working Group 6. The preprint it's based on is available here.
• Apr. 03: I delivered a talk, A Sampling of Synthetic 1-Category Theory, at the 2024 HoTT/UF Workshop. My slides are available here, and the preprint it's based on is available here.
• Feb. 01: I delivered a talk, The Γ-Cube: Polarities and Modalities, at the February 2024 meeting of ASSUME.
• Nov. 13: I released my most recent 'Intro to HoTT' video on YouTube, Noughts & Crosses, Part 2: Understanding Beta & Eta
• Oct. 28: I delivered a talk, Paranatural Category Theory, for the 2023 Category Theory Octoberfest. My slides are available here, and a recording of the talk is available here.