✦ LIBER ✦

On cyclic star-autonomous categories

✍ Scribed by J.M. Egger; M.B. McCurdy

Book ID: 113740320
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 713 KB
Volume: 216
Category: Article
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2012.02.011

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coherence for star-autonomous categories

✍ Kosta Došen; Zoran Petrić 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 287 KB

Nonsymmetric ∗-autonomous categories

✍ Michael Barr 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 667 KB

Full-sky autonomous star identification

Full-sky autonomous star identification based on radial and cyclic features of star pattern

✍ Guangjun Zhang; Xinguo Wei; Jie Jiang 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 184 KB

∗-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

Autonomous star tracker performance

✍ Gabe D. Rogers; Marsha R. Schwinger; James T. Kaidy; Thomas E. Strikwerda; Rober 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 860 KB