Notes on categories and groupoids - Higgins Philip J (1971)
Keywords: Higher algebra