Monic
Monic is a term used in mathematics with several related meanings. In algebra, a polynomial is called monic if its leading coefficient is 1. Formally, a polynomial f(x) = a_n x^n + ... + a_1 x + a_0 with a_n ≠ 0 is monic when a_n = 1. This notion is typically considered in rings or fields, where the leading coefficient is the multiplicative identity.
Over a ring R, the leading coefficient must be the multiplicative identity 1_R. If R is a
Monic also appears in category theory. A morphism f: X → Y is monic (a mono) if, for
In summary, monic often refers to a leading coefficient of 1 in polynomials and to left-cancellative morphisms