Trapiche
Categories for the working mathematician, de Saunders Mac Lane · Trapiche