# Category

**Category**, in mathematics, is a fundamental, algebraic or topological (*super*-, or *meta*-) structure formed by objects connected through arrows or morphisms into (categorical) diagrams, that has an identity arrow for each object, and is subject to certain axioms of associativity, commutativity and distributivity. The objects of a category can be simple sets, or specific algebraic structures such as monoids, w:semigroups, groups, groupoids, rings, modules, lattices, or topological structures, such as a topological space/ a graph/ a network, a meta-graph, and so on.

## Category definition[edit | edit source]

A category can be defined in several equivalent ways, as follows.

**Definition #1:** A *category* consists of

- A set of
*objects*.

- A set of

- For any , a set of
*morphisms*from to .

- For any , a set of

The objects and morphisms of a category obey the following defining axioms:

- There is a notion of
*composition*. If , and , then and are called a composable pair. Their composition is a morphism .

- There is a notion of

- Composition is associative. whenever the composition is defined.

- For any object , there is an identity morphism such that if are objects, and , then and .

**Definition #2:** A morphism has associated with it two functions and called *domain* and *codomain* respectively, such that if and only if and . Thus two morphisms are composable if and only if .

**Remark 3:** Unless confusion is possible, one will not usually specify which **Hom-set** a given morphism belongs to. Moreover, unless several categories are being considered, one usually does not write completely , but writes instead as a short-hamd notation: " is an object". One may also write to indicate implicitly the **Hom-set** to which it belongs to. Furthermore, one may also omit the composition symbol **"o"** , writing simply instead of .

- A category can also be regarded as a "
**<structure> of structures**of the same mathematical kind, connected*via*their transformations or homomorphisms/ homeomorphisms". A "**<category> of categories**" can also be defined for small categories; it is usually called a super-category. The objects of a super-category are categories of any kind, and the arrows of a super-category are called w:functors. One can also define arrows between functors that are called natural transformations, and the essence of the mathematical theory of categories. or Category Theory, is often contained in natural transformations, such as natural equivalences.

- A proposed, logical axiomatics for categories was proposed by William F. Lawvere in the form of the
*Elementary Theory of Abstract Categories*(*ETAC*), in which identities, objects, arrows, associativity, commutativity and distributivity properties are defined in logical terms and logical connectives.

- A groupoid, for example, can be considered as a category with all arrows being invertible. It is possible alos to endow an algebraic structure, such as a group, or groupoid, with a (consistent) topological structure. An example of a group endowed with a topological structure is a Lie group that plays an important role in quantum physics; its generalization to many objects is a topological groupoid called a Lie groupoid, which has more complex mathematical properties than the Lie group.

## See also[edit | edit source]

For information on Wikiversity categories see Wikiversity: Categories.