Speaking of those - they are not even mentioned in the text (yet), but without them any presentation of CT will seem necessarily dry: natural transformations an

Speaking of those - they are not even mentioned in the text (yet), but without them any presentation of CT will seem necessarily dry: natural transformations and equivalence; adjunctions; and, of course, monads (them being monoids in the category of endofunctors notwithstanding).