@Book{Mit67, Author = "Mitchell, B.", Year = "1967", Title = "{Theory of Categories}", Series = "Pure and Applied Mathematics", Volume = "17", Publisher = "Academic Press", Comment = "TPTPRef" }