This is very nicely written. Just a warning, though, that it's not quite light reading.

Pop quiz: what's a morphism of functors?