Hostname: page-component-797576ffbb-xg4rj Total loading time: 0 Render date: 2023-12-06T12:34:47.559Z Has data issue: false Feature Flags: { "corePageComponentGetUserInfoFromSharedSession": true, "coreDisableEcommerce": false, "useRatesEcommerce": true } hasContentIssue false

Notions of topos

Published online by Cambridge University Press:  17 April 2009

Ross Street
School of Mathematics and Physics, Macquarie University, North Ryde, New South Wales 2113, Australia.
Rights & Permissions [Opens in a new window]


Core share and HTML view are not possible as this article does not have html content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

A Grothendieck topos has the property that its Yoneda embedding has a left-exact left adjoint. A category with the latter property is called lex-total. It is proved here that every lex-total category is equivalent to its category of canonical sheaves. An unpublished proof due to Peter Freyd is extended slightly to yield that a lex-total category, which has a set of objects of cardinality at most that of the universe such that each object in the category is a quotient of an object from that set, is necessarily a Grothendieck topos.

Research Article
Copyright © Australian Mathematical Society 1981


[1]Artin, M., Grothendieck topologies (Department of Mathematics, Harvard University, Massachusetts, 1962).Google Scholar
[2]Freyd, P.J. and Kelly, G.M., “Categories of continuous functors, I”, J. Pure Appl. Algebra 2 (1972), 169191.Google Scholar
[3]Grothendieck, A. et Verdier, J.L., “Topos”, Théorie des topos et cohomologie etale des schemas, Expose IV, 299519 (Séminaire de Géométrie Algébrique du Bois Marie, 1963/64. Lecture Notes in Mathematics, 269. Springer-Verlag, Berlin, Heidelberg, New York, 1972).Google Scholar
[4]Johnstone, P.T., Topos theory (London Mathematical Society Monographs, 10. Academic Press, London, New York, San Francisco, 1977).Google Scholar
[5]Street, Ross, “Cosmoi of internal categories”, Trans. Amer. Math. Soc. 258 (1980), 271318.Google Scholar
[6]Street, Ross, “Extract from a letter on legitimacy of categories of presheaves”, Diagrammes (to appear).Google Scholar
[7]Street, Ross and Walters, Robert, “Yoneda structures on 2-categories”, J. Algebra 50 (1978), 350379.Google Scholar