monic
See also: Monic
English[edit]
Etymology[edit]
Adjective[edit]
monic (not comparable)
 (mathematics) of a polynomial whose leading coefficient is one
 (biology) monomorphic
 (category theory) Of a morphism: that it is a monomorphism.

1995, Colin McLarty, “Introduction”, in Elementary Categories, Elementary Toposes, ISBN 0 19 851473 5, page 5:
 It is often convenient to view a monic arrow , defined in Chapter 1, as showing that A is a copy of a part of C, and that i maps the copy on to that part. For example, in Set, the monic arrows are the onetoone functions and, clearly, if i is onetoone then A is a copy of a subset of C, namely of the image of i.
 If a composition (of morphisms) is monic then, by theorem, the precomposite of it is monic as well.
