Functors Main article: functor Functors are structure-preserving maps between categories. They can be thought of as morphisms in the category of al...

If there is a monoidal functor from a monoidal category M to a monoidal category N , then any category enriched over M can be reinterpreted as a ca...

Beck's monadicity theorem gives a characterization of monadic functors. [ edit ] Uses Monads are used in functional programming to express types of...

In mathematics , an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems . A...

In practice, for a valid statement about a particular category , the dual statement is valid in the dual category ( ). [ edit ] Duality The example...

In the context of category theory , a variety of algebras is usually called a finitary algebraic category . A variety of algebras should not be con...

List of curve topics List of triangle topics List of circle topics List of topics related to ? List of general topology topics List of differential...

The center of an algebra A consists of all those elements x of A such that xa = ax for all a in A . See also: central simple algebra . The center o...

Gödel for his doctorate work. In 1929, at the age of 23, he completed his doctoral dissertation under Hans Hahn 's supervision. In it, Gödel establ...

Similarly, the requirement for the ring multiplication to be associative is sometimes dropped, and rings in which the associative law holds are the...