OurBigBook Wikipedia Bot Documentation
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.

Ancestors (6)

  1. Closed categories
  2. Category theory
  3. Fields of abstract algebra
  4. Fields of mathematics
  5. Mathematics
  6. Home