Descent theory of locally internal categories

Journal of Pure and Applied Algebra

Volumn 154, Issue 1-3, 2000, Pages 15-26

  Betti, Renato ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (15)

1. J. Bénabou, Les distributeurs, Inst. de Math. Pure et Appliquee, Univ. Cath. de Louvain, Rapport No. 33, 1973.
2. J. Bénabou, Fibered categories and the foundations of naive category theory, J. Symbolic Logic 50 (1985) 1-37.
3. J. Bénabou, J. Roubaud, Monades et descente, C.R. Acad. Sci. Paris 270 (1970) A96-98.
4. R. Betti, A. Carboni, R. Street, R.F.C. Walters, Variation through enrichment, J. Pure Appl. Algebra 29 (1983) 109-127.
5. R. Betti, R.F.C. Walters, Closed categories and variable category theory, Ist. Mat. Univ. di Milano, Quad. No. 5, 1985.
6. R. Betti, R.F.C. Walters, On completeness of locally internal categories, J. Pure Appl. Algebra 47 (1987) 105-117.
7. A. Grothendieck, Catégories fibrées et descente, Lecture Notes in Mathematics, Vol. 224, Springer, Berlin, 1971, pp. 145-194.
8. G. Janelidze, W. Tholen, Facets of descent I, Appl. Cat. Struct. 2 (1994) 245-281.
9. G. Janelidze, W. Tholen, Facets of descent II, Appl. Cat. Struct. 5 (1997) 229-248.
10. F.W. Lawvere, Equality in hyperdoctrines and comprehension schema as an adjoint functor, Proceedings of the AMS Symposium on Pure Mathematics, Vol. XVII, 1970, pp. 1-14.
11. F.W. Lawvere, Category theory over a base topos, Lect. Notes Univ. di Perugia 1972-73.
12. F.W. Lawvere, Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. e Fis. di Milano 43 (1973) 135-166.
13. R. Paré, D. Schumacher, Abstract families and the adjoint functor theorem, Lecture Notes in Mathematics, Vol. 66, Springer, Berlin, 1978, pp. 1-125.
14. J. Reiterman, M. Sobral, W. Tholen, Coposites of effective descent maps, Cahiers Top. Géom. Diff. Categ. XXXIV (1993) 193-207.
15. M. Sobral, W. Tholen, Effective descent morphisms and effective equivalence relations, Can. Math. Soc. 13 (1992) 421-433.