Title :
Categories of embeddings
Author :
Coquand, Thierry
Author_Institution :
INRIA, Le Chesnay, France
Abstract :
A categorical generalization of the notion of domains, which is stable by (suitable) exponentiation is presented. The goal was originally to generalize J.Y. Girard´s (1986) model of polymorphism to F omega . If this notion is specialized to the poset case, a novel Cartesian closed category of domains is obtained.<>
Keywords :
formal logic; set theory; Cartesian closed category of domains; embeddings categories; poset; Application software; Computer science;
Conference_Titel :
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on
Conference_Location :
Edinburgh, UK
Print_ISBN :
0-8186-0853-6
DOI :
10.1109/LICS.1988.5124
