Therefore D is a set of generators. Suppose G is a uni-dense object in A . Thus in a reduced coherent analytic category any of these class of objects is a set of generator. X is called unipotent if any non-initial map to X is not disjoint with f . A collection of maps S to X is called a unipotent cover if the only map to X that is disjoint with any map in S is an initial map.
X are maps.
Suppose X is a reduced object. If any two parallel maps has a kernel then the above arguments can be reversed, so the condition is also sufficient. Clearly u is disjoint with w . Thus t is not unipotent. In the following we assume A has finite limits with a terminal object 1 .