Similarities between Category theory and Strict 2-category
Category theory and Strict 2-category have 9 things in common (in Unionpedia): Bicategory, Category (mathematics), Enriched category, Functor, Higher category theory, Monoidal category, Morphism, Topos, William Lawvere.
Bicategory
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.
Bicategory and Category theory · Bicategory and Strict 2-category ·
Category (mathematics)
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.
Category (mathematics) and Category theory · Category (mathematics) and Strict 2-category ·
Enriched category
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.
Category theory and Enriched category · Enriched category and Strict 2-category ·
Functor
In mathematics, a functor is a map between categories.
Category theory and Functor · Functor and Strict 2-category ·
Higher category theory
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.
Category theory and Higher category theory · Higher category theory and Strict 2-category ·
Monoidal category
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.
Category theory and Monoidal category · Monoidal category and Strict 2-category ·
Morphism
In mathematics, a morphism is a structure-preserving map from one mathematical structure to another one of the same type.
Category theory and Morphism · Morphism and Strict 2-category ·
Topos
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).
Category theory and Topos · Strict 2-category and Topos ·
William Lawvere
Francis William Lawvere (born February 9, 1937) is a mathematician known for his work in category theory, topos theory and the philosophy of mathematics.
Category theory and William Lawvere · Strict 2-category and William Lawvere ·
The list above answers the following questions
- What Category theory and Strict 2-category have in common
- What are the similarities between Category theory and Strict 2-category
Category theory and Strict 2-category Comparison
Category theory has 106 relations, while Strict 2-category has 18. As they have in common 9, the Jaccard index is 7.26% = 9 / (106 + 18).
References
This article shows the relationship between Category theory and Strict 2-category. To access each article from which the information was extracted, please visit: