- monoidal structure
- мат. моноидальная структура
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
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 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
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
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
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
Monoid (category theory) — In category theory, a monoid (or monoid object) (M,μ,η) in a monoidal category is an object M together with two morphisms called multiplication, and called unit, such that the diagrams and … Wikipedia
Autonomous category — In mathematics, an autonomous category is a monoidal category where dual objects exist.[1] Definition A left (resp. right) autonomous category is a monoidal category where every object has a left (resp. right) dual. An autonomous category is a… … 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
N-category — In mathematics, n categories are a high order generalization of the notion of category. The category of (small) n categories n Cat is defined by induction on n by: * the category 0 Cat is the category Set of sets and functions, * the category ( n … Wikipedia