Definition A pointed category of some category C is just the over 1/C. That is the category with pairs of objects and elements of those objects, along with morphisms between objects that preserve points.