Closed monoidal category
http://dbpedia.org/resource/Closed_monoidal_category an entity of type: WikicatClosedCategories
数学の特に圏論におけるモノイド閉圏（モノイドへいけん、英: closed monoidal category; 閉モノイド圏）とは、モノイド積（テンソル積）およびその右随伴として定まる「冪」（通常の冪対象とは異なる）を対象として持つ圏である。言い換えれば、冪対象の類似物を持ったモノイド圏である。モノイド積が通常の積であるときは（「冪」が本物の冪対象となり、）デカルト閉圏と呼ばれる。 古典的な例は、集合の圏 Set で、モノイド積は集合の直積、「冪」は与えられた対象間の写像全体の集合（配置集合）によって与えられる。他の例は、有限次元ベクトル空間を対象、線型写像を射とする圏 FdVect で、このときモノイド積は通常のテンソル積、「冪」はベクトル空間の間の線型写像全体の成すベクトル空間と取ればよい。 なお、この「冪」は「内部Hom函手」とも呼ばれる。対称モノイド閉圏のはである。
rdf:langString
В теория категорий, замкнутая моноидальная категория — это категория, позволяющая брать тензорные произведения объектов, а также рассматривать объекты, соответствующие множествам морфизмов. Классический пример — категория множеств, в которой существует декартово произведение множеств, а также множество функций между двумя множествами. «Объект, соответствующий множеству морфизмов» обычно называют внутренним Hom.
rdf:langString
In mathematics, especially in category theory, a closed monoidal category (or a monoidal closed category) is a category that is both a monoidal category and a closed category in such a way that the structures are compatible.
rdf:langString
rdf:langString
Closed monoidal category
rdf:langString
モノイド閉圏
rdf:langString
Замкнутая моноидальная категория
xsd:integer
1396924
xsd:integer
1113187052
rdf:langString
closed+monoidal+category
rdf:langString
Closed monoidal category
rdf:langString
In mathematics, especially in category theory, a closed monoidal category (or a monoidal closed category) is a category that is both a monoidal category and a closed category in such a way that the structures are compatible. A classic example is the category of sets, Set, where the monoidal product of sets and is the usual cartesian product , and the internal Hom is the set of functions from to . A non-cartesian example is the category of vector spaces, K-Vect, over a field . Here the monoidal product is the usual tensor product of vector spaces, and the internal Hom is the vector space of linear maps from one vector space to another. The internal language of closed symmetric monoidal categories is linear logic and the type system is the linear type system. Many examples of closed monoidal categories are symmetric. However, this need not always be the case, as non-symmetric monoidal categories can be encountered in category-theoretic formulations of linguistics; roughly speaking, this is because word-order in natural language matters.
rdf:langString
数学の特に圏論におけるモノイド閉圏（モノイドへいけん、英: closed monoidal category; 閉モノイド圏）とは、モノイド積（テンソル積）およびその右随伴として定まる「冪」（通常の冪対象とは異なる）を対象として持つ圏である。言い換えれば、冪対象の類似物を持ったモノイド圏である。モノイド積が通常の積であるときは（「冪」が本物の冪対象となり、）デカルト閉圏と呼ばれる。 古典的な例は、集合の圏 Set で、モノイド積は集合の直積、「冪」は与えられた対象間の写像全体の集合（配置集合）によって与えられる。他の例は、有限次元ベクトル空間を対象、線型写像を射とする圏 FdVect で、このときモノイド積は通常のテンソル積、「冪」はベクトル空間の間の線型写像全体の成すベクトル空間と取ればよい。 なお、この「冪」は「内部Hom函手」とも呼ばれる。対称モノイド閉圏のはである。
rdf:langString
В теория категорий, замкнутая моноидальная категория — это категория, позволяющая брать тензорные произведения объектов, а также рассматривать объекты, соответствующие множествам морфизмов. Классический пример — категория множеств, в которой существует декартово произведение множеств, а также множество функций между двумя множествами. «Объект, соответствующий множеству морфизмов» обычно называют внутренним Hom.
xsd:nonNegativeInteger
7610