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

• May 07: I delivered a talk, Polarity Problems and the Semantics of Directed Type Theory, for the Computer Science Theory Seminar (TSEM) of the Tallinn University of Technology's Logic and Semantics Group. My slides are available here and the abstract can be found here.
• Apr. 25: I delivered a talk, Polarized and Directed Type Theory, at a meeting of the Icelandic advantage in computer-assisted proof (Iceproof) project. My slides are available here.
• Apr. 18: I delivered a talk, GATs, Cats, and CwFs, at the 2025 Meeting of EuroProofNet Working Group 6. My slides are available here.
• Feb. 26: I delivered a talk, GAT Signature Languages: A Begriffsschrift for Concrete Structures, at the February 2025 meeting of ASSUME. My slides are available here.
• Oct. 27: I delivered a talk, A Type Theory for Synthetic 1-Category Theory, for the 2024 Category Theory Octoberfest. My slides are available here, and a recording of the talk is available here.
• Oct. 25: I posted a preprint, Synthetic 1-Categories in Directed Type Theory, to the arXiv
• Jul. 23: I released my most recent 'Intro to HoTT' video on YouTube, Mechanics, or Magic?, Part 0: STLC and Propositional Logic