Categories of embeddings
Thierry Coquand · 2003
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.>