• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Braided monoidal category     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatQuantumGroups, within Data Space : dbpedia.org associated with source document(s)

Type: yago:WikicatMonoidalCategoriesyago:Abstraction100002137yago:Class107997703yago:Collection107951464yago:Group100031264yago:WikicatQuantumGroups New Facet based on Instances of this Class

In mathematics, a commutativity constraint on a monoidal category is a choice of isomorphism for each pair of objects A and B which form a "natural family." In particular, to have a commutativity constraint, one must have for all pairs of objects . Alternatively, a braided monoidal category can be seen as a tricategory with one 0-cell and one 1-cell. Braided monoidal categories were introduced by André Joyal and Ross Street in a 1986 preprint. A modified version of this paper was published in 1993.