Notes on categories and groupoids / - Higgins, Philip J., (Van Nostrand Reinhold,, 1971)