范畴论中:我定义的R-强单态射条件是否已有标准学术名称?
范畴论中:我定义的R-强单态射条件是否已有标准学术名称?
我最近在研究范畴论相关内容时,自己梳理出了一个单态射的性质,先跟大家说下背景和定义:
假设$R: \C \to \D$是一个保单态射的函子,我把单态射$\iota: A \hookrightarrow B$定义为**$R$-强单态射**,当且仅当对任意单态射$h: Z \hookrightarrow B$,满足:
$h$能通过$\iota$分解 当且仅当 $Rh$能通过$R\iota$分解。
换成交换图的逻辑来描述就是:
在范畴$\C$里,如果存在态射$k: Z \to A$使得$h = \iota \circ k$,那么对应到范畴$\D$里,$Rh = R\iota \circ Rk$肯定是成立的;而“$R$-强”的核心要求是这个命题的逆也成立——只要在$\D$中$Rh$能通过$R\iota$分解,那么回到$\C$中,$h$一定能通过$\iota$分解。
我举个具体例子帮大家理解这个概念:
- 考虑从多重图范畴(也常被称为“箭图”范畴)$\underline{\text{MGr}}$到集合范畴$\underline{\text{Set}}$的顶点函子$V$,这个函子是保单态射的。这里的$V$-强单态射,对应的就是那些“顶点集满嵌入”的多重图单态射——简单来说,就是当一个多重图的单态射是$V$-强的时,它不仅边的映射是单的(因为函子保单态射),还会把原多重图的顶点集完全包含进去,不会有顶点的遗漏。
现在我想请教的是:这个我定义的“$R$-强单态射”的条件,在范畴论的现有研究里,有没有已经被命名的标准学术概念呢?
备注:内容来源于stack exchange,提问作者Lukas Juhrich
相关产品推荐
相关产品推荐

