You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

范畴论中:我定义的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

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.04.16 02:49:30