Normal monos are closed under composition and stable under pullbacks. A normal coflat mono is called a fraction. Assume the category has pullbacks. Finite limits and finite sums exist. Finite sums are disjoint and stable.
Any analytic category is left unitary .
In the following we assume A is an analytic category. An analytic mono is a coflat complement of a strong mono. A mono is disjunctable if it has a coflat complement. An integral object is a reduced primary object. A prime of an object is an integral strong subobject.