Stav dette: Categories for the working mathematician