Blog

A humble attempt at broadcasting stuff to the world.

• Category Theory: Functor Algebra

• Category Theory: Terminal and Initial Object

• Category Theory: Programs as Morphisms

• Category Theory: Definition of a Category

• Refresher: Propositional Logic

• Let's Reify Effects

• Mutations make me paranoid