Category theory: An introduction - Herrlich Horst; Strecker George E (Boston Allyn and Bacon, 1973)
Keywords: Higher algebra