By a multi-pointed category we mean a category C equipped with a so called ideal of null morphisms, i.e. a class N of morphisms satisfying f ∈ N ∨ g ∈ N ⇒ fg ∈ N for any composable pair f, g of morphisms. Such categories are precisely the categories enriched in the category of pairs X = (X,N) where X is a set and N is a subset of X, whereas a pointed category has the same enrichment, but restri...