Engenes, Hans. “Subobject Classifiers and Classes of Subfunctors”. Mathematica Scandinavica 34 (June 1, 1974): 145–152. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/2132.