Categorical interpolation: Descent and the Beck-Chevalley condition without direct images

Artin, M. Grothendieck, A., Verdier, J.L. (1972) Théorie des Topos (Exposés I–IV from SGA 4, 1963/64), Lecture Notes in Mathematics 269 (Springer, Berlin)
MATH Google Scholar
Bénabou, J. (1985) Fibered categories and the foundations of naive category theory, J. Symbolic Logic 50(1), 10–37
Article MathSciNet MATH Google Scholar
Bénabou, J., Roubaud, J. (1970) Monades et descente, C.R. Acad. Sc. Paris (Série A), t. 270, 96–98
MathSciNet MATH Google Scholar
Giraud, J. (1964) Théorie de la descente, Bull. Soc. math. France, Mémoire 2
Google Scholar
Gray, J.W. (1966) Fibred and Cofibred Categories, Proceedings of the Conference on Categorical Algebra, La Yolla 1965, (Springer, Berlin) 21–84
Chapter Google Scholar
Grothendieck, A. (1959) Technique de descente et théorèmes d'existence en géométrie algébrique, I. Généralités. Descente par morphismes fidèlement plats, Séminaire Bourbaki 190
Google Scholar
(1971) Exposés VI, VIII, IX (from SGA 1, 1960/61) in: Revêtements Etales et Groupe Fondamental, Lecture Notes in Mathematics 224 (Springer, Berlin), 145–260
Chapter Google Scholar
Hyland, J.M.E., Moerdijk, I. (1990) An application of Beck's Theorem, Manuscript
Google Scholar
Joyal, A., Tierney, M. (1984) An extension of the Galois theory of Grothendieck, Memoirs of the A.M.S., No. 309 (American Mathematical Society, Providence, RI)
MATH Google Scholar
Lawvere, F.W. (1970) Equality in hyperdoctrines and comprehension schema as an adjoint functor, Applications of Category Theory, Proceedings of A.M.S. Symposia on Pure Mathematics XVII (American Mathematical Society, Providence RI), 1–14
Google Scholar
Moerdijk, I. (1989) Descent Theory for Toposes, Bull. Soc. Math. de Belgique (Série A), XLI(2), 373–391
MathSciNet MATH Google Scholar
Pavlović, D. (1990) Predicates and Fibrations: From Type Theoretical to Category Theoretical Presentation of Constructive Logic, Thesis, State University Utrecht
Google Scholar
Pitts, A.M. (1983a) Amalgation and Interpolation in the Category of Heyting Algebras, J. Pure Appl. Algebra 29, 155–165
Article MathSciNet MATH Google Scholar
(1983b) An Application of Open Maps to Categorical Logic, J. Pure Appl. Algebra 29, 313–326
Article MathSciNet MATH Google Scholar

Download references

Author information

Authors and Affiliations

Zevenwouden 223, 3524 CR, Utrecht, The Netherlands
Duško Pavlović

Authors

Duško Pavlović
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Aurelio Carboni Maria Cristina Pedicchio Guiseppe Rosolini

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Pavlović, D. (1991). Categorical interpolation: Descent and the Beck-Chevalley condition without direct images. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds) Category Theory. Lecture Notes in Mathematics, vol 1488. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0084229

Download citation

DOI: https://doi.org/10.1007/BFb0084229
Published: 29 September 2006
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54706-8
Online ISBN: 978-3-540-46435-8
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Categorical interpolation: Descent and the Beck-Chevalley condition without direct images

Access this chapter

Preview

References