Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Closed_monoidal_category> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Closed_monoidal_category abstract "In mathematics, especially in category theory, aclosed 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 and is the usual cartesian product , and the mapping object is the set of functions from to . Another example is the category FdVect, consisting of finite-dimensional vector spaces and linear maps. Here the tensor product is the usual tensor product of vector spaces, and the mapping object is the vector space of linear maps from one vector space to another.The 'mapping object' referred to above is also called the 'internal Hom'. The internal language of closed symmetric monoidal categories is the linear type system.".
- Closed_monoidal_category wikiPageExternalLink tr10.pdf.
- Closed_monoidal_category wikiPageID "1396924".
- Closed_monoidal_category wikiPageRevisionID "570760274".
- Closed_monoidal_category hasPhotoCollection Closed_monoidal_category.
- Closed_monoidal_category id "closed+monoidal+category".
- Closed_monoidal_category title "Closed monoidal category".
- Closed_monoidal_category subject Category:Closed_categories.
- Closed_monoidal_category subject Category:Monoidal_categories.
- Closed_monoidal_category type Abstraction100002137.
- Closed_monoidal_category type Class107997703.
- Closed_monoidal_category type ClosedCategories.
- Closed_monoidal_category type Collection107951464.
- Closed_monoidal_category type Group100031264.
- Closed_monoidal_category type MonoidalCategories.
- Closed_monoidal_category comment "In mathematics, especially in category theory, aclosed 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 and is the usual cartesian product , and the mapping object is the set of functions from to . Another example is the category FdVect, consisting of finite-dimensional vector spaces and linear maps.".
- Closed_monoidal_category label "Closed monoidal category".
- Closed_monoidal_category label "Замкнутая моноидальная категория".
- Closed_monoidal_category sameAs m.04z9x3.
- Closed_monoidal_category sameAs Q5135347.
- Closed_monoidal_category sameAs Q5135347.
- Closed_monoidal_category sameAs Closed_monoidal_category.
- Closed_monoidal_category wasDerivedFrom Closed_monoidal_category?oldid=570760274.
- Closed_monoidal_category isPrimaryTopicOf Closed_monoidal_category.