摘要：在这个通信中，我们将Rump最近的一些结果推广到以交换量化结构V为富集的范畴中。利用这些结果，我们证明了每个量化结构富集的多范畴都存在一个可浸入的船体。最后，我们揭示了在1973年Banaschewski构造拓扑空间可浸入船体与Isbell伴随的关系。
作者：Eros Martinelli
论文ID：2006.02978
分类：Category Theory
分类简称：math.CT
提交时间：2021-06-25
PDF 下载： 英文版 中文版pdf翻译中