* — автономная категория

• Определение и свойства *-автономных категорий

  • *-автономные категории — это категории с дуализирующим объектом, который является моноидальным. 
  • Дуализирующий объект — это объект, который является обратным к себе. 
  • Примеры включают категории конечномерных векторных пространств и Ste пространства. 
  • *-автономные категории обладают свойствами компактности и замкнутости. 

• Эквивалентность определений

  • Существует эквивалентность между определением дуализирующего объекта и определением *-автономности. 
  • *-автономность может быть определена через биекцию между объектами и их обратными. 

• Примеры и приложения

  • Примеры включают категории топологических векторных пространств и линейной логики. 
  • *-автономные категории могут быть использованы для изучения свойств тензорных произведений и дуализирующих объектов. 

• Несимметричный случай

  • В двузамкнутых моноидальных категориях также возможно определение дуализирующего объекта. 

• Рекомендации по форматированию

  • Статья содержит инструкции по форматированию для различных элементов, включая цитаты и библиографические описания.