Monoidal natural transformation
- Monoidal natural transformation
-
Wikimedia Foundation.
2010.
Look at other dictionaries:
Monoidal functor — In category theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between two monoidal categories consists of a functor between the categories, along with… … Wikipedia
Tannaka–Krein duality — In mathematics, Tannaka–Krein duality theory concerns the interaction of a compact topological group and its category of linear representations. Its natural extension to the non Abelian case is the Grothendieck duality theory. It extends an… … Wikipedia
Tannaka-Krein duality — In mathematics, Tannaka Krein duality theory concerns the interaction of a compact topological group and its category of linear representations. It extends an important mathematical duality between compact and discrete commutative topological… … Wikipedia
List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… … 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
Strong monad — In category theory, a strong monad over a monoidal category is a monad (T,η,μ) together with a natural transformation , called (tensorial) strength, such that the diagrams … Wikipedia
Cartesian closed category — In category theory, a category is cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in… … Wikipedia
Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… … 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
Abelian category — In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototype example of an abelian category is the category of… … Wikipedia
and 
are two monoidal categories and
and 
between the underlying functors such that the diagrams
and 
.
