Abstract
Methods of internal-category theory are applied to show that the split epimorphisms in a category C are exactly the morphisms which are effective for descent with respect to any fibration over C (or to any C-indexed category). In the same context, composition-cancellation rules for effective descent morphisms are established and being applied to (suitably defined) locally-split epimorphisms.
Similar content being viewed by others
References
Bénabou, J.: Fibred categories and the foundations of naive category theory, J. Symbolic Logic 50 (1985), 10–37.
Bunge, M. and Paré, R.: Stacks and equivalence of indexed categories, Cahiers Topologie Géom. Différentielle Catégoriques 20 (1979), 373–399.
Gabriel, P. and Ulmer, F.: Lokal präsentierbare Kategorien, Lecture Notes in Math. 221, Springer, Berlin, 1971.
Giraud, J.: Méthode de la descent, Bull. Soc. Math. France Memoire 2 (1964).
Gray, J. W.: Fibred and cofibred categories, in Proc. Conf. Categorical Algebra La Jolla 1965, Springer, Berlin, 1966, pp. 21–84.
Janelidze, G.: Precategories and Galois Theory, in Lecture Notes in Math. 1488, Springer, Berlin, 1991, pp. 157–173.
Janelidze, G.: A note on Barr—Diaconescu covering theory, Contemporary Math. 131 (1992), 121–124.
Janelidze, G. and Tholen, W.: How algebraic is the change-of-base functor?, in Lecture Notes in Math. 1488, Springer, Berlin, 1991, pp. 174–186.
Janelidze, G. and Tholen, W.: Facets of descent, I, Appl. Categorical Structures 2 (1994), 1–37.
Johnstone, P. T.: Topos Theory, Academic Press, New York, 1977.
Mac Lane, S.: Categories for the Working Mathematician, Springer, New York, 1971.
Mac Lane, S. and Paré, R.: Coherence in bicategories and indexed categories, J. Pure Appl. Algebra 37 (1985), 59–80.
Paré, R. and Schumacher, D.: Abstract families and the adjoint functor theorem, in Lecture Notes in Math. 661, Springer, Berlin, 1978, pp. 1–125.
Pronk, D. A.: Groupoid representations for sheaves on orbifolds, Ph.D. Thesis, University of Utrecht, 1995.
Reiterman, J., Sobral, M. and Tholen, W.: Composites of effective descent maps, Cahiers Topologie Géom. Différentielle Catégoriques 34 (1993), 193–207.
Sobral, M. and Tholen, W.: Effective descent morphisms and effective equivalence relations, in Canadian Mathematical Society Conference Proceedings, Vol. 13, AMS, Providence, 1992, pp. 421–431.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Janelidze, G., Tholen, W. Facets of Descent, II. Applied Categorical Structures 5, 229–248 (1997). https://doi.org/10.1023/A:1008697013769
Issue Date:
DOI: https://doi.org/10.1023/A:1008697013769