This comment is irrelevant but i will say this kind of example is a very good one for people like me not very familiar with language of category theory--it uses a concrete simple example and the introduces the terms (like left adjoint) the way that would be described in category theory terms (most people can cook an egg without knowing any math). I hope these lectures will be arxived or stay online.