The core of a category C is a subcategory Core(C) category with morphisms restricted to isomorphisms.