monic

adj

1. (not-comparable)Of a polynomial whose leading coefficient is one.
2. (not-comparable)Monomorphic.
3. (not-comparable)Of a morphism: that it is a monomorphism.

   “If a composition (of morphisms) is monic then, by theorem, the pre-composite of it is monic as well.”

   “It is often convenient to view a monic arrow i#58;A#92;rightarrowtailC, 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 one-to-one functions and, clearly, if i is one-to-one then A is a copy of a subset of C, namely of the image of i.”

4. (not-comparable)Belonging to the branch of the Austroasiatic language family that includes the Mon language.

noun

1. A monic polynomial.