# How to denote an 'atomic' morphism in category?

I want to distinguish between two disjoint classes of morphisms in a category: (1) those morphisms that are composed of other morphisms (other than identities) and could conceivably be factored into a sequence of other morphisms; and, (2) those morphisms that cannot be factored further.

For the time being, I am referring to the first class of morphisms as "composed" and the second class as "atomic". What is the correct terminology for this distinction?

-
In a general category this doesn't seem like what you want; there will be no morphisms in the second class as long as there are nontrivial isomorphisms running around. You want to consider factorizations that don't contain isomorphisms, and then "irreducible" seems like a reasonable word for the second class. –  Qiaochu Yuan Jul 15 '13 at 19:32
(But this still isn't great: for example, in any category with biproducts any morphism $f : A \to B$ trivially admits factorizations of the form $A \to B \oplus C \to B$. What sort of categories do you have in mind where you'd like to apply this notion? The only reasonable candidates I can think of are either posets, in which case you recover a version of the Hasse diagram, or free categories on graphs, in which case you recover the underlying graph.) –  Qiaochu Yuan Jul 15 '13 at 19:34