@Book{Mac71, Author = "MacLane, S.", Year = "1971", Title = "{Categories for the Working Mathematician}", Publisher = "Springer Verlag", Comment = "TPTPRef" }