[sourceless]

Thanks for your comment - and agreed!

Last year I taught myself a good deal of category theory, and you're right, five minutes is not really enough to learn most things - but it is enough time to start an exercise - and those five minutes often turn into something longer!