Equilogical spaces

  title={Equilogical spaces},
  author={Andrej Bauer and Lars Birkedal and Dana S. Scott},
  journal={Theor. Comput. Sci.},
It is well known that one can build models of full higher-order dependent type theory (also called the calculus of constructions) using partial equivalence relations (PERs) and assemblies over a partial combinatory algebra (PCA). But the idea of categories of PERs and ERs (total equivalence relations) can be applied to other structures as well. In particular, we can easily define the category of ERs and equivalencepreserving continuous mappings over the standard category Top0 of topological T0… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 38 references

Total Sets and Objects in Domain Theory

Ann. Pure Appl. Logic • 1993
View 7 Excerpts
Highly Influenced

Colimit Completions and the Effective Topos

J. Symb. Log. • 1990
View 7 Excerpts
Highly Influenced

Categorical Logic and Type Theory

B. Jacobs
Draft book • 1998
View 4 Excerpts
Highly Influenced

Continuous Functionals of Dependent and Transitive Types

U. Berger
Habilitationsschrift, Ludwig-Maximilians-Universit at M unchen • 1997
View 3 Excerpts
Highly Influenced

Exact categories

M. Barr
Exact Categories and Categories of Sheaves, volume 236 of Lecture Notes in Mathematics, pages 1{120. Spinger-Verlag • 1971
View 3 Excerpts
Highly Influenced

Domains and Lambda-Calculi

R. M. Amadio, P.-L. Curien
volume 46 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press • 1998
View 1 Excerpt

Cartesian closed exact completions. Available from the Hypatia Electronic Library: http://hypatia.dcs.qmw.ac.uk

J. Rosick y
View 1 Excerpt

Similar Papers

Loading similar papers…