Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-29T02:58:10.326Z Has data issue: false hasContentIssue false
  • English
  • Français

An adjoint-functor theorem over topoi

Published online by Cambridge University Press:  17 April 2009

B.J. Day
B.J. Day
Affiliation:
Department of Pure Mathematics, University of Sydney, Sydney, New South Wales.
Rights & Permissions [Opens in a new window]

Abstract

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

The usual statements of the classical adjoint-functor theorems contain the hypothesis that the codomain category should admit arbitrary intersections of families of monomorphisms with a common codomain. The aim of this article is to formulate an adjoint-functor theorem which refers, in a similar manner, to arbitrary internal intersections of “families of monomorphisms” in the case where the categories under consideration are suitably defined relative to a fixed elementary base topos (in the usual sense of Lawvere and Tierney).

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 15 , Issue 3 , December 1976 , pp. 381 - 394
Copyright
Copyright © Australian Mathematical Society 1976

References

[1]Day, Brian, “On adjoint-functor factorisation”, Category Seminar, 1–19 (Proc. Sydney Category Theory Seminar 1972/1973. Lecture Hotes in Mathematics, 420. Springer-Verlag, Berlin, Heidelberg, New York, 1974).Google Scholar
[2]Eilenberg, Samuel and Kelly, G. Max, “Closed categories”, Proc. Conf. Categorical Algebra, 421–562 (Springer-Verlag, Berlin, Heidelberg, New York, 1966).CrossRefGoogle Scholar
[3]Kelly, G.M., “Adjunction for enriched categories”, Reports of the Midwest Category Seminar III, 166–177 (Lecture Notes in Mathematics, 106. Springer-Verlag, Berlin, Heidelberg, Hew York, 1969).CrossRefGoogle Scholar
[4]Kelly, G.M. and Street, Ross, “The elements of topoi”, Abstracts of the Sydney Category Theory Seminar 1972, 2nd Edition, 6–65 (Department of Mathematics, University of Sydney, Sydney; School of Mathematics and Physics, Macquarie University, North Ryde; 1972).Google Scholar
[5]Lawvere, F. William, “Introduction”, Toposes, algebraic geometry and logic, 1–12 (Lecture Notes in Mathematics, 274. Springer-Verlag, Berlin, Heidelberg, New York, 1972).CrossRefGoogle Scholar
[6]Lane, S. Mac, Categories for the working mathematician (Graduate Texts in Mathematics, 5. Springer-Verlag, New York, Heidelberg, Berlin, 1971).CrossRefGoogle Scholar