Theory of categories. - Mitchell, Barry (Pure and applied mathematics; a series of monographs and textbooks, 1965)