Locally cartesian closed exact completions

Journal of Pure and Applied Algebra

Volumn 154, Issue 1-3, 2000, Pages 103-116

  Carboni, A ^a   Rosolini, G ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034414789     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(99)00192-9     Document Type: Article

References (14)

1. M. Barr, Exact categories, in: M. Barr, P.A. Grillet, D. Van Osdol (Eds.), Exact Categories and Categories of Sheaves, Lecture Notes in Mathematics, Vol. 236, Springer, Berlin, 1971, pp. 1-120.
2. M. Barr, C. Wells, Toposes Triples and Theories, Springer, Berlin, 1984.
3. L. Birkedal, A. Carboni, G. Rosolini, D.S. Scott, Type theory via exact categories, in: V. Pratt (Ed.), Proceedings of 13th Symposium in Logic in Computer Science, IEEE Computer Society, 1998, pp. 188-198.
4. A. Carboni, Some free constructions in realizability and proof theory, J. Pure Appl. Algebra 103 (1995) 117-148.
5. A. Carboni, P.J. Freyd, A. Scedrov, A categorical approach to realizability and polymorphic types, in: M. Main, A. Melton, M. Mislove, D. Schmidt (Eds.), Mathematical Foundations of Programming Language Semantics, Lectures Notes in Computer Science, Vol. 298, Springer, Berlin, 1988, pp. 23-42.
6. A. Carboni, S. Lack, R.F.C. Walters, Introduction to extensive and distributive categories, J. Pure Appl. Algebra 84 (1993) 145-158.
7. A. Carboni, E.M. Vitale, Regular and exact completions, J. Pure Appl. Algebra 125 (1998) 79-117.
8. E.J. Dubuc, Concrete quasitopoi, in: M. Fourman, C. Mulvey, D.S. Scott (Eds.), Application of Sheaves, Lecture Notes in Mathematics, Vol. 753, Springer, Berlin, 1979, pp. 239-279.
9. A. Joyal, I. Moerdijk, Algebraic set theory, London Mathematical Society Lecture Note Series, Vol. 220, Cambridge University Press, Cambridge, 1995.
10. E.P. Robinson, G. Rosolini, Colimit completions and the effective topos, J. Symbolic Logic 55 (1990) 678-699.
11. J. Rosický, Cartesian closed exact completions, available from The Hypatia Electronic Library: http://hypatia.dcs.qmw.ac.uk, 1997.
12. D.S. Scott, Data types as lattices, SIAM J. Comput. 5 (1976) 522-587.
13. D.S. Scott, A new category? Domains, Spaces and Equivalence Relations, Manuscript, 1996.
14. P. Taylor, Recursive Domains, Indexed Category Theory and Polymorphism, Ph.D. Thesis, Cambridge University, 1986.