The first aim of this article is to study maximal ideals of a preadditive category [Formula: see text]. Maximal ideals, which do not exist in general for arbitrary preadditive categories, are associated to a maximal ideal of the endomorphism ring of an object and always exist when the category is semilocal. If [Formula: see text] is additive and semilocal, any skeleton [Formula: see text] of [Formula: see text] is a Krull monoid and we are able to characterize the essential valuations of [Formula: see text] and provide some natural divisor homomorphisms and divisor theories of [Formula: see text].