Repleteness and the associated sheaf

Journal of Pure and Applied Algebra

Volumn 127, Issue 2, 1998, Pages 147-151

  Bucalo, Anna ^a   Rosolini, Giuseppe ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032523366     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(96)00151-X     Document Type: Article

References (20)

1. [1] H. Applegate and M. Tieraey, Categories with models, in: B. Eckmann, Ed., Seminar on Triples and Categorical Homology Theory, Lecture Notes in Mathematics, Vol. 80 (ETH Zürich, 1966/67) (Springer, Berlin, 1969) 156-244.
2. [2] M. Barr and C. Wells, Toposes, Triples and Theories (Springer, New York, 1984).
3. [3] F. Borceux, Handbook of Categorical Algebra (Cambridge Univ. Press, Cambridge, 1994).
4. [4] S. Fakir, Monade idempotente associée à une monade, C.R. Acad. Sci. Paris 270(A) (1970) 99-101.
5. [5] M.F. Farina, Una costruzione del fascio associato, Rend. Sci. Ist. Lomb. 100(A) (1976) 332-341.
6. [6] M.F. Farina and G.C. Meloni, The associated sheaf functor, Rend. Sci. Ist. Lomb. 114(A) (1980) 50-55.
7. [7] P. Freyd, Aspects of topoi, Bull. Austral. Math. Soc. 7 (1972) 1-76 and 467-480.
8. [8] J.M.E. Hyland, First steps in synthetic domain theory, in: A. Carboni, M. Pedicchio and G. Rosolini, Eds., Category Theory, Lecture Notes in Mathematics, Vol. 1488 (Como, 1990) (Springer, Berlin, 1992) 131-156.
9. [9] J.M.E. Hyland and E. Moggi, The S-replete construction, in: D. Pitt, D.E. Rydeheard and P. Johnstone, Eds., Category Theory and Computer Science, Lecture Notes in Computer Science, Vol. 953 (Cambridge, 1995) (Springer, Berlin, 1995) 96-116.
10. [10] P. Johnstone, Topos Theory, L.M.S. Monographs, Vol. 10 (Academic Press, London, 1977).
11. [11] A. Kock and G.C. Wraith, Elementary Toposes, Lecture Notes Series, Vol. 30 (Århus Universitet, Århus, 1971).
12. [12] J. Lambek and B.A. Rattray, Localization and sheaf reflectors, Trans. Amer. Math. Soc. 210 (1975) 279-293.
13. [13] F.W. Lawvere, Introduction, in: F.W. Lawvere, C. Maurer and G.C. Wraith, Eds., Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics, Vol. 274 (Springer, Berlin, 1972) 1-12.
14. [14] S. Mac Lane and I. Moerdijk, Sheaves in Geometry and Logic (Springer, New York, 1992).
15. [15] R. Paré, Colimits in topoi, Bull. Amer. Math. Soc. 80 (1974) 556-561.
16. [16] P. Taylor, The fixed point property in synthetic domain theory, in: G. Kahn, Ed., Proc. 6th Symposium on Logic in Computer Science, Amsterdam (1991) 152-160.
17. [17] M. Tierney, Axiomatic sheaf theory: some constructions and applications, in: Categories and Commutative Algebra (CIME III ciclo, 1971) (Edizioni Cremonese, Roma, 1973) 249-326.
18. [18] B. Veit, A proof of the associated sheaf theorem by means of categorical logic, J. Symbolic Logic 46 (1981) 45-55.
19. [19] F.-J. de Vries, Type theoretical topics in topos theory, Ph.d. Thesis, Rijks Universiteit, Utrecht, 1989.
20. [20] G.C. Wraith, Lectures on elementary topoi, in: F.W. Lawvere, C. Maurer and G.C. Wraith, Eds., Model Theory and Topoi, Lecture Notes in Mathematics, Vol. 445 (Springer, Berlin, 1975) 114-206.