Engenes, H. (1974) “Subobject Classifiers and Classes of Subfunctors”., MATHEMATICA SCANDINAVICA, 34, pp. 145–152. doi: 10.7146/math.scand.a-11515.