This is a preview of subscription content, log in via an 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
A. Burroni, Algèbres graphiques, 3éme colloque sur les catégories, Cahiers de Topologie et Géométrie Différentielle 23 (1981), 249–265.
J. Lambek, Deductive systems and categories II, Lecture Notes in Mathematics 86 (1969), 76–122.
J. Lambek, From types to sets, Advances in Math. 36(1980), 113–164.
J. Lambek and P. Scott, Intuitionist type theory and the free topos, J. Pure and Applied Algebra 19 (1980), 576–619.
J. Lambek and P. Scott, Algebraic aspects of topos theory, 3éme colloque sur les catégories, Cahiers de Topologic et Géométrie Différentielle 22 (1981), 129–140.
F.E.J. Linton, An outline of functorial semantics, Lecture Notes in Mathematics 80 (1969), 7–52.
S. MacLane, Categories for the working mathematician (Springer, New York, 1971).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag
About this paper
Cite this paper
Lambek, J. (1982). Toposes are monadic over categories. In: Kamps, K.H., Pumplün, D., Tholen, W. (eds) Category Theory. Lecture Notes in Mathematics, vol 962. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0066895
Download citation
DOI: https://doi.org/10.1007/BFb0066895
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11961-6
Online ISBN: 978-3-540-39550-8
eBook Packages: Springer Book Archive