推导装配体的完善
摘要：对于蕴涵集合的研究，我们继续探讨在什么情况下子集合$M \subseteq \mathscr{S}$可形成quasitopos $mathbf{Asm}_{\mathcal{A}}$的lex full子范畴$mathbf{Asm}_M$，使得$(mathbf{Asm}_M)_{\text{reg/lex}} \simeq mathbf{Asm}_{\mathcal{A}}$成立。我们给出了一个具体描述。此外，后者对于研究$mathbf{Asm}_M$的ex/lex化也是相关的。
作者：Alexandre Miquel and Krzysztof Worytkiewicz
论文ID：2306.10120
分类：Category Theory
分类简称：math.CT
提交时间：2023-07-11