子对象分类子_范畴论概念

子对象分类子

范畴论概念

子对象分类子是范畴论的一个概念。

具有终对象1C的范畴C的子对象分类子为单态射t:1C↣Ω称为真值，满足每个C中单态射m:S↣X均可唯一地表达为t的拉回。即有特征函数ψ:X→Ω满足交换图表：t∘1=ψ∘m，其中1为到终对象的唯一态射。

参考资料

最新修订时间：2024-05-21 15:12

条目作者

概述

参考资料