Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Autonomous category
Résumé
In mathematics, an autonomous category is a where dual objects exist.
A left (resp. right) autonomous category is a where every object has a left (resp. right) dual. An autonomous category is a monoidal category where every object has both a left and a right dual. is a synonym for autonomous category.
In a , the existence of left duals is equivalent to the existence of right duals, categories of this kind are called (symmetric) .
In categorial grammars, categories which are both left and right rigid are often called pregroups, and are employed in Lambek calculus, a non-symmetric extension of linear logic.
The concepts of and autonomous category are directly related, specifically, every autonomous category is *-autonomous. A *-autonomous category may be described as a linearly distributive category with (left and right) negations; such categories have two monoidal products linked with a sort of distributive law. In the case where the two monoidal products coincide and the distributivities are taken from the associativity isomorphism of the single monoidal structure, one obtains autonomous categories.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.