Talk:Autonomous category

The content of the Autonomous categoryAutonomous category page was merged into Rigid category#Alternative terminology on 7 April 2026. For the contribution history and old versions of the merged article, please see its history.

	This redirect does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:
Mathematics This redirect is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics

"In mathematics, an autonomous category is another term for a symmetric monoidal closed category."

This is not current usage. An autonomous category is a monoidal category in which every object has a left and a right dual. A left autonomous category is a monoidal category in which every object has a left dual, etc.

Autonomous category is synonymous with compact category or rigid category. Some people use compact to mean symmetric autonomous category.

Citation? I have only seen compact category as a synonym of compact closed category, which is not a synonym of autonomous category. —Preceding unsigned comment added by 142.68.223.218 (talk) 23:52, 14 May 2010 (UTC)Reply

A compact closed category is a symmetric autonomous category. The dual of A is given by A "internal hom" I. — Preceding unsigned comment added by 133.5.165.4 (talk) 05:13, 20 July 2011 (UTC)Reply

An autonomous category is a closed category. The internal hom of A and B is ${\displaystyle B\otimes A^{*}}$.

The principal example of an autonomous category is the category of vector spaces (over k) with A* given by the dual of A, Hom(A,k).

Are you sure you are not confusing with *-autonomous categories ?

Yes, I am sure that I am not. But, indeed, I made a mistake in the line above. What I meant to say is that the principal example of an autonomous category is the category of finite-dimensional vector spaces. For *-autonomous categories the principal example is topological vector spaces, possibly infinite dimensional. The dualising object is of course given by the underlying field k.

Lkajdf 12:20, 16 June 2007 (UTC)Reply

I've added in a note about the connection between autonomous and *-autonomous categories, this relies on a (published, of course) theorem of Cockett and Seely (namely, that *-autonomous categories are the same thing as linearly distributive categories with negation), which makes clear the connection. However, this characterization of *-aut cats might not be well known and my wiki-fu is not strong enough (nor my time free enough) to properly write up the reference, together with the separate page on LDC's and LDC's with negations that is probably called for. —Preceding unsigned comment added by 137.111.240.148 (talk) 22:47, 7 December 2008 (UTC)Reply