Opening book details…
Can I read Contractible Coherence Spaces and Maximal Maps on EtoBox?
Contractible Coherence Spaces and Maximal Maps by Hongde Hu is a Computer Science article available to read on EtoBox.
What is Contractible Coherence Spaces and Maximal Maps about?
A coherence space is contractible if it can be generated from the singleton space under products and coproducts. We give an intrinsic characterization of contractible coherence spaces in connection with totality in \([1,2,15]\). We extend contractible coherence spaces with an arbitrary category \(\mathbf{C}\), and prove that the category of non-empty \(\mathbf{C}\)-valued contractible coherence spaces and \(\mathbf{C}\)-valued maximal maps is exactly the free bicompletion of \(\mathbf{C}\) under non-empty products and coproducts.
Who reads Contractible Coherence Spaces and Maximal Maps?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Hongde Hu
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)
- Published
- 1999
- Language
- EN
- Field
- Computer Science (Physical Sciences)