H. Engenes, “Subobject Classifiers and Classes of Subfunctors”., Math. Scand., vol. 34, pp. 145–152, Jun. 1974.