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