Recent
I am working through Sheaves in Geometry and Logic by Saunders Mac Lane and Ieke Moerdijk.
Hobbies
I’m a pianist who enjoys playing classical and jazz pieces. Currently, I’m trying to learn the bansuri, an ancient bamboo flute originating from the Indian subcontinent. It’s an instrument I find particularly beautiful—here is Baqir Abbas playing one of my favorite jazz standards on one.
My favorite movie is Chungking Express. My favorite video game is The Legend of Zelda: Ocarina of Time.
Miscellaneous
Cool things that aren’t mine
-
A Categorial Manifesto - Joseph A. Goguen, an explanation on why category theory is useful to CS.
-
Computational Trinitarianism, an article on how mathematical logic, computer programs, and category theory are fundamentally related
-
DisCoCat, short for categorical compositional distributional semantics, a category-theoretic formulation of linguistics
-
Lambeq, an open-source Python library for quantum natural language processing