关于子对象分类的两则注记

关于子对象分类的公理在Topos理论的发展中起着重要的作用,在本文中,我们的目的是给出下面关于它的两个性质:定理1 设A为有拟零终对象和子对象分类(t:1→Ω,Ω)的有限完备范畴。则(1)当存在单态