Text this: Formal category theory :