Monic

Full definition of monic

Adjective

1. (mathematics) of a polynomial whose leading coefficient is one
2. (biology) monomorphic
3. (category theory) Of a morphism: that it is a monomorphism.
• 1995, Colin McLarty, Elementary Categories, Elementary Toposes Chapter IntroductionIt is often convenient to view a monic arrow $i:\; A\; \backslash rightarrowtail\; C$, 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.

Anagrams

• Nomic