𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Coherence for star-autonomous categories

✍ Scribed by Kosta Došen; Zoran Petrić

Book ID
108054601
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
287 KB
Volume
141
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Coherence completions of categories
Coherence completions of categories
✍ Hongde Hu; Andre Joyal 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 213 KB

This is the ÿrst of a series of papers on coherence completions of categories. Here we show that there is a close connection between Girard's coherence spaces and free bicomplete categories. We introduce a new construction for creating models of linear logic, the coherence completion of a category.

Categories of Coherence Pathways for the
Categories of Coherence Pathways for the CPMG Sequence
✍ Y.-Q Song 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 321 KB

The CPMG sequence has been extremely useful for efficient measurements of NMR signal, spin-spin relaxation, and diffusion, particularly in inhomogeneous magnetic fields, such as when samples are outside the magnet and RF coil. Due to the inaccuracy of the pulses and the off-resonance effects, the CP