J. M. E. Hyland. A small complete category. Annals of Pure and Applied Logic, 40(2):135-165, 1988. [doi]
@article{Hyland88,
title = {A small complete category},
author = {J. M. E. Hyland},
year = {1988},
doi = {10.1016/0168-0072(88)90018-8},
url = {http://dx.doi.org/10.1016/0168-0072(88)90018-8},
researchr = {https://researchr.org/publication/Hyland88},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {40},
number = {2},
pages = {135-165},
}