Research

My research focuses on the structural intersections between Category Theory, Computational Linguistics, and Type Theory. Below is a selection of working papers, publications, and talk notes.

Lecture notes

Mathematics

  • Topics in Category Theory.
    Graduate course notes, Spring 2024.
    Covers limits, colimits, adjunctions, and monads with examples in Haskell. [PDF] [Exercises]
  • Algebraic Topology via bundles.
    Personal study notes. [HTML]

Philosophy

  • Meaning and Reference.
    Seminar on Philosophy of Language.
    Notes on Frege, Russell, and Kripke regarding the semantics of proper names. [PDF]

Computer Science

  • Introduction to Type Systems.
    Seminar notes for undergraduates.
    From simply typed lambda calculus to System F. [HTML]

Other writings

  • The Geometry of Meaning: Vector Spaces in NLP.
    Journal of Computational Linguistics, 2023. [DOI] [PDF]
  • On the Topology of Semantic Spaces.
    Proceedings of the International Conference on Applied Mathematics, 2022. [Link]