6:34The Beck Chevalley Condition (internally for monomorphisms only)MathProofsable710 views·8 years ago
15:14Examples of the Subobject Classifier in Categories of PresheavesMathProofsable958 views·8 years ago