I studied computer science and philosophy in college, and have worked mostly as a software engineer professionally. In my work I learned about functional programming and it immediately seemed important to me. I was exposed to category theory from there, and became only more “obsessed” as I saw the relevance to my other interests: logic and knowledge graphs (I’ve done some work on personal projects trying to model writing like a “categorical” knowledge graph).

Feel free to reach out if there any questions about any of this: deniz@denizay.org.