✦ LIBER ✦

Coherence completions of categories

✍ Scribed by Hongde Hu; Andre Joyal

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 213 KB
Volume: 227
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(99)00051-1

No coin nor oath required. For personal study only.

✦ Synopsis

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. By presenting coherence completions as categories enriched over the category of pointed sets and the category of coherence spaces, the free structures on coherence completions are obtained in a very natural way. We show that if C is monoidal closed or ?-autonomous then so is its coherence completion. We also prove that if C is a model of linear logic then so is its coherence completion. A key idea of the paper which is introduced into linear logic is the notion of softness. We hope that this idea could be of use in solving the full completeness for larger fragments of linear logic.

📜 SIMILAR VOLUMES

En-monoidal categories and their group c

En-monoidal categories and their group completions

✍ Gerald Dunn 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 871 KB

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

Idempotent Completion of Triangulated Ca

Idempotent Completion of Triangulated Categories

✍ Paul Balmer; Marco Schlichting 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 120 KB

We show that the idempotent completion of a triangulated category has a natural structure of a triangulated category. The idempotent completion of the bounded derived category of an exact category gives the derived category of the idempotent completion. In particular, the derived category of an idem

The category of complete lattices as a c

The category of complete lattices as a category of algebras

✍ Jan Reiterman 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 484 KB

Completely coherent radiation

✍ William Streifer 📂 Article 📅 1964 🏛 Elsevier Science 🌐 English ⚖ 291 KB

The spectrum of a locally coherent categ

The spectrum of a locally coherent category

✍ Henning Krause 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 882 KB

A topology on the spectrum of a locally coherent Grothendieck category is introduced. The closed subsets are related to certain localizing subcategories which are characterized in terms of Serre subcategories of the full subcategory of finitely presented objects.