web-log:~#

(whois "sanad")

I am a second-year master's student at Indiana University studying computer science. My research is centered around computation, logic, mathematics, and language. In particular, I'm currently interested in problems associated with the semantics of programming languages (classical and quantum) and the intersection of category theory and programming (style and technique). I am also interested in cinematic art forms, weird music and walking. If you want to connect, mail me here.

Latest posts

Jun. 26, 2023

Category Theory or: How to live without elements, using arrows instead (Part II)

In the preceding post, we did a rudimentary survey of the principal elements comprising the apparatus of category theory. Henceforth, we shall direct our gaze towards the intricate constituents conjured by these foundational elements, plunging further into the intricate labyrinth of interwoven components in the machinery of category theory.

Jun. 4, 2023

Category Theory or: How to live without elements, using arrows instead (Part I)

After my recent attempt to learn the core of category theory and exploration of Saunders Mac Lane’s insightful books, I have tried to organize my notes, thoughts, and highlights in this post. The post is divided into two parts: the origins of category theory are covered in the first one, and next comes the core machinery for working with categories.