Subequalizers
Canadian mathematical bulletin, Tome 13 (1970) no. 3, pp. 337-349

Voir la notice de l'article provenant de la source Cambridge University Press

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.
Lambek, Joachim. Subequalizers. Canadian mathematical bulletin, Tome 13 (1970) no. 3, pp. 337-349. doi: 10.4153/CMB-1970-065-6
@article{10_4153_CMB_1970_065_6,
     author = {Lambek, Joachim},
     title = {Subequalizers},
     journal = {Canadian mathematical bulletin},
     pages = {337--349},
     year = {1970},
     volume = {13},
     number = {3},
     doi = {10.4153/CMB-1970-065-6},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1970-065-6/}
}
TY  - JOUR
AU  - Lambek, Joachim
TI  - Subequalizers
JO  - Canadian mathematical bulletin
PY  - 1970
SP  - 337
EP  - 349
VL  - 13
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1970-065-6/
DO  - 10.4153/CMB-1970-065-6
ID  - 10_4153_CMB_1970_065_6
ER  - 
%0 Journal Article
%A Lambek, Joachim
%T Subequalizers
%J Canadian mathematical bulletin
%D 1970
%P 337-349
%V 13
%N 3
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1970-065-6/
%R 10.4153/CMB-1970-065-6
%F 10_4153_CMB_1970_065_6

[1] 1. Benabou, J., Critères de reprèsentabilitè des fondeurs, C.R. Acad. Se. Paris 260 (1965), 752-755. Google Scholar

[2] 2. Freyd, P., Abelian categories, Harper and Row, New York, 1964. Google Scholar

[3] 3. Hedrlin, Z. and Lambek, J., How comprehensive is the category of semigroups? J. of Algebra 11 (1969), 195-212. Google Scholar

[4] 4. Isbell, J. R., Structure of categories, Bull. Amer. Math. Soc. 72 (1966), 619-655. Google Scholar

[5] 5. Lambek, J., Completions of categories, Lecture Notes in Mathematics, 24 (1966), Springer Verlag. Google Scholar

[6] 6. Lambek, J., Afixpoint theorem for complete categories, Math. Zeitschrift 103 (1968), 151-161. Google Scholar

[7] 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] 8. Ulmer, F., Properties of dense and relative adjoint functors, J. of Algebra 8 (1968), 77-95. Google Scholar

Cité par Sources :