H. Engenes, “Subobject Classifiers and Classes of Subfunctors”., Math. Scand., vol. 34, pp. 145–152, Jun. 1974, doi: 10.7146/math.scand.a-11515.