Category theory an introduction - Herrlich, Horst 1937-2015; Strecker, George E. (Sigma series in pure mathematics, 1979)