. "187"^^ . "espaces de Chu"@fr . . . "Michael Barr"@fr . "En math\u00E9matiques, une cat\u00E9gorie *-autonome (lire \u00AB \u00E9toile-autonome \u00BB ou \u00AB star-autonome \u00BB) est une structure \u00E9tudi\u00E9e en th\u00E9orie des cat\u00E9gories. Il s'agit plus pr\u00E9cis\u00E9ment d'une cat\u00E9gorie qui poss\u00E8de un objet dit \u00AB dualisant \u00BB et qui v\u00E9rifie un jeu d'axiomes pr\u00E9cis. Cette structure rend compte de plusieurs situations essentielles qui apparaissent naturellement en logique math\u00E9matique, en topologie, en informatique th\u00E9orique et en physique th\u00E9orique et a \u00E9t\u00E9 introduite par le math\u00E9maticien am\u00E9ricain (en) en 1979."@fr . . "2004"^^ . "Mathematical Structures in Computer Science"@fr . "10.1007"^^ . . "-Autonomous Categories"@fr . . . . "Cat\u00E9gorie *-autonome"@fr . . . "Jean-Yves"@fr . "Michael Barr"@fr . . "Coherent space"@fr . . "Barr"@fr . . "1"^^ . . "en"@fr . "159"^^ . "139"^^ . "Paul"@fr . "6"^^ . "en"@fr . "Girard"@fr . "espace de coh\u00E9rence"@fr . "espaces de coh\u00E9rence"@fr . . . "5"^^ . "Taylor"@fr . . "43"^^ . "-autonomous categories: once more around the track"@fr . "7140024"^^ . "Rigid category"@fr . "Galois theory, Hopf algebras, and semiabelian categories"@fr . . "En math\u00E9matiques, une cat\u00E9gorie *-autonome (lire \u00AB \u00E9toile-autonome \u00BB ou \u00AB star-autonome \u00BB) est une structure \u00E9tudi\u00E9e en th\u00E9orie des cat\u00E9gories. Il s'agit plus pr\u00E9cis\u00E9ment d'une cat\u00E9gorie qui poss\u00E8de un objet dit \u00AB dualisant \u00BB et qui v\u00E9rifie un jeu d'axiomes pr\u00E9cis. Cette structure rend compte de plusieurs situations essentielles qui apparaissent naturellement en logique math\u00E9matique, en topologie, en informatique th\u00E9orique et en physique th\u00E9orique et a \u00E9t\u00E9 introduite par le math\u00E9maticien am\u00E9ricain (en) en 1979. Le terme \u00AB *-autonome \u00BB fait \u00E9cho \u00E0 la notion de (en), aussi dite \u00AB autonome \u00BB, qui est une cat\u00E9gorie o\u00F9 la notion de dual peut \u00EAtre d\u00E9finie."@fr . "Lafont"@fr . . "Theory and Applications of Categories"@fr . "Lecture Notes in Mathematics"@fr . . . . "752"^^ . "Non-symmetric -autonomous categories"@fr . . . "Espace de Chu"@fr . "115"^^ . . "Yves"@fr . . "Proofs and Types"@fr . . . . . "https://arxiv.org/abs/math/0301209|titre=Quantum categories, star autonomy, and quantum groupoids"@fr . . . . . "Chu space"@fr . "182902440"^^ . "Construction de Chu"@fr . "Cat\u00E9gorie rigide"@fr . "1979"^^ . . "Michael"@fr . "cat\u00E9gorie rigide"@fr . . . "Jean-Yves Girard"@fr . . "-autonomous categories and linear logic"@fr . . . . "1995"^^ . "5883"^^ . . "1999"^^ . "1991"^^ . "Theoretical Computer Science"@fr . "1989"^^ . .