𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Essential Completeness in Categories of Completely Regular Frames

✍ Scribed by Banaschewski, B.; Hager, A. W.


Book ID
120271317
Publisher
Springer
Year
2011
Tongue
English
Weight
365 KB
Volume
21
Category
Article
ISSN
0927-2852

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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.

Regular completion of modules
✍ V. K. Zakharov πŸ“‚ Article πŸ“… 1976 πŸ› SP MAIK Nauka/Interperiodica 🌐 English βš– 447 KB