4 ms·

I'm 99% sure this is the way to do it. You can't explain any field of math, much less category theory, without doing exercises.