A logical view on the Adjoint Functor Theorem
Dusko Pavlovic
Book Title
Category Theory 1991‚ Proceedings of an International Summer Category Theory Meeting
Editor
R.A.G. Seely
Pages
361–367
Publisher
American Mathematical Society
Series
CMS Conference Proceedings
Volume
13
Year
1992