# monic

Jump to navigation
Jump to search

*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, 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 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*.

- It is often convenient to view a

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