Engenes, Hans. “Subobject Classifiers and Classes of Subfunctors”. MATHEMATICA SCANDINAVICA 34 (June 1, 1974): 145–152. Accessed November 24, 2024. https://www.mscand.dk/article/view/11515.