bicategory
Look at other dictionaries:
Bicategory — In mathematics, a bicategory 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. The notion was… … Wikipedia
Profunctor — In category theory, a branch of mathematics, profunctors are a generalization of relations and also of bimodules. They are related to the notion of correspondences. Contents 1 Definition 1.1 Composition of profunctors 1.2 The bicat … Wikipedia
List of category theory topics — This is a list of category theory topics, by Wikipedia page. Specific categories *Category of sets **Concrete category *Category of vector spaces **Category of graded vector spaces *Category of finite dimensional Hilbert spaces *Category of sets… … Wikipedia
2-category — In category theory, a 2 category is a category with morphisms between morphisms ; that is, where each hom set itself carries the structure of a category. It can be formally defined as a category enriched over Cat (the category of categories and… … Wikipedia
Outline of category theory — The following outline is provided as an overview of and guide to category theory: Category theory – area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as… … Wikipedia
Combinatorial species — In combinatorial mathematics, the theory of combinatorial species is an abstract, systematic method for analysing discrete structures in terms of generating functions. Examples of discrete structures are (finite) graphs, permutations, trees, and… … Wikipedia
Monoidal category — In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor ⊗ : C × C → C which is associative, up to a natural isomorphism, and an object I which is both a left and right identity for ⊗, again up to a… … Wikipedia
List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… … Wikipedia
Tricategory — In mathematics, a tricategory is a kind of structure of category theory studied in higher dimensional category theory. Whereas a weak 2 category is said to be a bicategory [Benabou 1967] , a weak 3 category is said to be a tricategory (Gordon,… … Wikipedia
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. Contents 1 Strict higher categories 2 Weak higher… … Wikipedia
