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