Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-29T02:16:07.904Z Has data issue: false hasContentIssue false
  • English
  • Français

Subequalizers

Published online by Cambridge University Press:  20 November 2018

Joachim Lambek
Joachim Lambek*
Affiliation:
McGill University, Montreal, Quebec
Rights & Permissions [Opens in a new window]

Extract

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 purpose of this exposition is threefold. Firstly, we wish to show that many concepts and arguments carry over from pre-ordered sets to categories. Secondly, we wish to make some propaganda for the notion of "subequalizer" of two functors, which appears to be more fundamental than Lawvere's so-called "commacategory", in the same sense in which equalizers are more fundamental than pullbacks. Thirdly, we wish to give simple proofs of the adjoint functor theorem and related theorems, which appear to be more economic than those in the literature. The author wishes to take this opportunity to refine some arguments that he has published earlier. He is indebted to Michael Barr, whose presentation of similar proofs in his course has provided the stimulation for preparing this note for publication, to John Isbell for his critical reading of the manuscript and to William Schelter for suggesting a shortcut in one of the proofs.

Type
Research Article
Information
Canadian Mathematical Bulletin , Volume 13 , Issue 3 , September 1970 , pp. 337 - 349
Copyright
Copyright © Canadian Mathematical Society 1970

References

1. Benabou, J., Critères de reprèsentabilitè des fondeurs, C.R. Acad. Se. Paris 260 (1965), 752-755.Google Scholar
2. Freyd, P., Abelian categories, Harper and Row, New York, 1964.Google Scholar
3. Hedrlin, Z. and Lambek, J., How comprehensive is the category of semigroups? J. of Algebra 11 (1969), 195-212.Google Scholar
4. Isbell, J. R., Structure of categories, Bull. Amer. Math. Soc. 72 (1966), 619-655.Google Scholar
5. Lambek, J., Completions of categories, Lecture Notes in Mathematics, 24 (1966), Springer Verlag.Google Scholar
6. Lambek, J., Afixpoint theorem for complete categories, Math. Zeitschrift 103 (1968), 151-161.Google Scholar
7. Lawvere, F. W., The category of categories as a foundation for Mathematics, Proc. of the Conference on Categorical Algebra, La Jolla (1965), 1-20, Springer Verlag, New York, 1966.Google Scholar
8. Ulmer, F., Properties of dense and relative adjoint functors, J. of Algebra 8 (1968), 77-95.Google Scholar