18 relations: Algebraic theory, Bicategory, Category (mathematics), Category of small categories, Category theory, Charles Ehresmann, Enriched category, Functor, Higher category theory, Initial and terminal objects, Jonathan Mock Beck, Monoidal category, Morphism, Operad theory, Presheaf (category theory), Product category, Topos, William Lawvere.
Informally in mathematical logic, an algebraic theory is one that uses axioms stated entirely in terms of equations between terms with free variables.
In mathematics, a bicategory (or a weak 2-category) is a concept in category theory used to extend the notion of category to handle the cases where the composition of morphisms is not (strictly) associative, but only associative up to an isomorphism.
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is an algebraic structure similar to a group but without requiring inverse or closure properties.
In mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories.
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).
Charles Ehresmann (19 April 1905 – 22 September 1979) was a French mathematician who worked in differential topology and category theory.
In category theory, a branch of mathematics, an enriched category generalizes the idea of a category by replacing hom-sets with objects from a general monoidal category.
In mathematics, a functor is a map between categories.
In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities.
In category theory, a branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C, there exists precisely one morphism I → X. The dual notion is that of a terminal object (also called terminal element): T is terminal if for every object X in C there exists a single morphism X → T. Initial objects are also called coterminal or universal, and terminal objects are also called final.
Jonathan Mock Beck (aka Jon Beck; 11 November 1935 – 11 March 2006, Somerville, Massachusetts) was an American mathematician, who worked on category theory and algebraic topology.
In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor that is associative up to a natural isomorphism, and an object I that is both a left and right identity for ⊗, again up to a natural isomorphism.
In mathematics, a morphism is a structure-preserving map from one mathematical structure to another one of the same type.
Operad theory is a field of abstract algebra concerned with prototypical algebras that model properties such as commutativity or anticommutativity as well as various amounts of associativity.
In category theory, a branch of mathematics, a presheaf on a category C is a functor F\colon C^\mathrm\to\mathbf.
In the mathematical field of category theory, the product of two categories C and D, denoted and called a product category, is an extension of the concept of the Cartesian product of two sets.
In mathematics, a topos (plural topoi or, or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site).
Francis William Lawvere (born February 9, 1937) is a mathematician known for his work in category theory, topos theory and the philosophy of mathematics.