Sheaves and Cauchy-complete categories
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1981)
- Volume: 22, Issue: 3, page 283-286
- ISSN: 1245-530X
Access Full Article
topHow to cite
topReferences
top- 1 J. Benabou, Introduction to bicategories, Lecture Notes in Math.47, Sringer (1967), 1-77. MR220789
- 2 D. Higgs, A category approach to boolean-valued set theory, unpub. manus.
- 3 F.W. Lawvere, Metric spaces, generalized logic and closed categories, Rend. Sem. Mat. e Fis. di Milano43 (1974), 135-166. Zbl0335.18006MR352214
- 4 M.P. Fourman & D.S. Scott, Sheaves and Logic, Lecture Notes in Math.753, Springer (1979). Zbl0415.03053MR555551
Citations in EuDML Documents
top- R. Betti, A. Carboni, Cauchy-completion and the associated sheaf
- Shu Hao Sun, R. F. C. Walters, Representations of modules and Cauchy completeness
- S. Kasangian, G. M. Kelly, F. Rossi, Cofibrations and the realization of non-deterministic automata
- R. Betti, A. Carboni, Notion of topology for bicategories
- S. Kasangian, -catégories and gamuts
- A. Carboni, G. M. Kelly, R. J. Wood, A -categorical approach to change of base and geometric morphisms I
- S. Kasangian, R. Rosebrugh, Glueing enriched modules and composition of automata