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 mo

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!