Morphisms and Objects

It seems inevitable that, after one learned Haskell, there’s a good possibility she will become a victim of category theory. This is a series(hopefully) of notes about category theory. Category Th...

Your time is limited, so don’t waste it living someone else’s life. Don’t be trapped by dogma — which is living with the results of other people’s thinking. Don’t let the noise of others’ opinio...

IMP is a simple imperative language described in the book The Formal Semantics of Programming Languages. The schema of the language is defined as follows: [\begin{align} a:=&n\mid X\mid a_0+a_...