V such that vs is disjoint with u . 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.