𝔖 Bobbio Scriptorium
✦   LIBER   ✦

FACTORIZATION OF FLOWS AND COMPLETENESS OF CATEGORIES

✍ Scribed by Herrlich, Horst; Meyer, Walter

Book ID
118177925
Publisher
Taylor and Francis Group
Year
1994
Tongue
English
Weight
433 KB
Volume
17
Category
Article
ISSN
1607-3606

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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.