In the previous post we gave a quick overview of the main concepts in category theory and briefly noted how they can be applied to a programming language. Before going further, let's step back and think more carefully about what it means to consider a programming language as a category.