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