-Autonomous Categories
Book
Foundational Source
Category Theory
Citation
Michael Barr. (1979). -Autonomous Categories. 752. Springer.
Why this reference is included
Barr’s *-Autonomous Categories (1979), published by Springer, sits in the program’s reference corpus as a standing technical source. Cited in Book I (Categorical Foundations), Part 18, Chapter Star-Autonomous Categories and the Diagonal Barrier, where the program draws on it in the context of “Star-Autonomous Categories In 1979, Michael Barr introduced *-autonomous categories as a class of symmetric monoidal categories with an involutive duality.”
Cited in
-
Book I — Categorical Foundations Part 18Chapter Star-Autonomous Categories and the Diagonal Barrier
Star-Autonomous Categories In 1979, Michael Barr introduced *-autonomous categories as a class of symmetric monoidal categories with an involutive duality