𝔖 Bobbio Scriptorium
✦   LIBER   ✦

∗-Autonomous categories of bimodules

✍ Scribed by Kimmo I. Rosenthal


Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
1013 KB
Volume
97
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Internal Languages for Autonomous and ∗-
✍ Thong-Wei Koh; C-H.Luke Ong 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 32 KB

We introduce a family of type theories as internal languages for autonomous (or symmetric monoidal closed) and \* -autonomous categories, in the same sense that the simply-typed lambdacalculus with surjective pairing is the internal language for cartesian closed categories. The rules for the typing