Keywords
- Regular Ring
- Forgetful Functor
- Existential Quantifier
- Presentable Category
- Complete Boolean Algebra
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bénabou, J.: Théories relatives à un corpus. C. R. Acad. Sci. Paris 281, A831–A834 (1975)
Coste, M.: Une approache logique des théories definissables par limites projectives finies. Seminaire Bénabou. Université Paris-Nord 1976
Coste, M.: Localisation dans les catégories de modèles. Thèse de doctorat d'Etat. Université Paris-Nord 1977
Diers, Y.: Catégories localisables. Thèse de doctorat d'Etat. Université Paris VI 1977
Freyd, P.: Aspects of topoi. Bull. Austral. Math. Soc. 7, 1–76 (1972)
Gabriel, P., Ulmer, F.: Lokal präsentierbare Kategorien. Lecture Notes in Mathematics 221. Berlin and New York: Springer 1971
Isbell, J.R.: General functorial semantics, I. Amer. J. Math. 94, 535–596 (1972)
Johnstone, P.T.: Topos Theory. L.M.S. Mathematical Monographs no. 10. London and New York: Academic Press 1977
Johnstone, P.T.: Rings, fields and spectra. J. Algebra 49, 238–260 (1977)
Makkai, M., Reyes, G.E.: First-order Categorical Logic. Lecture Notes in Mathematics 611. Berlin and New York: Springer 1977
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag
About this chapter
Cite this chapter
Johnstone, P.T. (1979). A syntactic approach to Diers' localizable categories. In: Fourman, M., Mulvey, C., Scott, D. (eds) Applications of Sheaves. Lecture Notes in Mathematics, vol 753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061828
Download citation
DOI: https://doi.org/10.1007/BFb0061828
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09564-4
Online ISBN: 978-3-540-34849-8
eBook Packages: Springer Book Archive
