monoidal
Look at other dictionaries:
Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… … Wikipedia
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
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
Monoidal monad — In category theory, a monoidal monad (T,η,μ,m) is a monad (T,η,μ) on a monoidal category such that the functor is a lax monoidal functor with and as coherence maps, and the natu … Wikipedia
Monoidal adjunction — Suppose that and are two monoidal categories. A monoidal adjunction between two lax monoidal functors and is an adjunction (F,G,η,ε) between the underlying functors, such that the natural transformations … Wikipedia
Monoidal natural transformation — Suppose that and are two monoidal categories and and are two lax monoidal functors between those categories. A monoidal natural transformation between those funct … Wikipedia
Closed monoidal category — In mathematics, especially in category theory, a closed monoidal category is a context where we can take tensor products of objects and also form mapping objects . A classic example is the category of sets, Set, where the tensor product of sets A … Wikipedia
Dagger symmetric monoidal category — A dagger symmetric monoidal category is a monoidal category which also possesses a dagger structure; in other words, it means that this category comes equipped not only with a tensor in the category theoretic sense but also with dagger structure… … Wikipedia
Braided monoidal category — In mathematics, a braided monoidal category is a monoidal category C equipped with a braiding; that is, there is a natural isomorphism:gamma {A,B}:Aotimes B ightarrow Botimes Afor which the following hexagonal diagrams commute (here alpha is the… … Wikipedia
Traced monoidal category — In category theory, a traced monoidal category is a category with some extra structure which gives a reasonable notion of feedback.A traced symmetric monoidal category is a symmetric monoidal category C together with a family of… … Wikipedia
