In mathematics, an **exact category** is a concept of category theory due to Daniel Quillen which is designed to encapsulate the properties of short exact sequences in abelian categories without requiring that morphisms actually possess kernels and cokernels, which is necessary for the usual definition of such a sequence.

Read more about Exact Category: Definition, Motivation, Examples

### Other articles related to "exact category, category, exact":

**Exact Category**- Examples

... Any abelian

**category**is

**exact**in the obvious way, according to the construction of #Motivation ... A less trivial example is the

**category**Abtf of torsion-free abelian groups, which is a strictly full subcategory of the (abelian)

**category**Ab of all abelian groups ... It is closed under extensions if is a short

**exact**sequence of abelian groups in which are torsion-free, then is seen to be torsion-free by the following argument if is a torsion element, then its image in is zero ...

... A common generalization of these two concepts is given by the Grothendieck group of an

**exact category**... Simplified an

**exact category**is an additive

**category**together with a class of distinguished short sequences A → B → C ... The distinguished sequences are called "

**exact**sequences", hence the name ...

### Famous quotes containing the words category and/or exact:

“The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That *category* only exists in the adult mind.”

—Anne Cassidy (20th century)

“If we define a sign as an *exact* reference, it must include symbol because a symbol is an *exact* reference too. The difference seems to be that a sign is an *exact* reference to something definite and a symbol an *exact* reference to something indefinite.”

—William York Tindall (1903–1981)