Source: wikibot/autonomous-category
= *-autonomous category
{wiki=*-autonomous_category}
An *-autonomous category is a concept from category theory, specifically in the context of categorical logic and type theory. More formally, a category \\( \\mathcal\{C\} \\) is said to be *-autonomous if it has a structure that allows for a notion of duals and exponential objects that satisfies certain properties.