✦ LIBER ✦

Nonsymmetric ∗-autonomous categories

✍ Scribed by Michael Barr

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 667 KB
Volume: 139
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)00089-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

∗-Autonomous categories of bimodules

✍ Kimmo I. Rosenthal 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 1013 KB

Internal Languages for Autonomous and ∗-

Internal Languages for Autonomous and ∗-Autonomous Categories

✍ 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

Categories

📂 Article 📅 1985 🏛 Wiley (John Wiley & Sons) ⚖ 824 KB

Categories

📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 652 KB 👁 2 views

Categories

✍ Aristotle 📂 Fiction 📅 0 🌐 English ⚖ 22 KB

Categories

✍ Aristotle 📂 Fiction 📅 0 🌐 English ⚖ 22 KB