摘要：使用跨度范畴的商范畴引入一个topos的语言。我们还研究了从逻辑关系和商范畴中导出的商范畴。作为一个应用程序，我们证明了当箭头是逻辑函子时，布尔topos的范畴是topos范畴的一个反映子范畴。
作者：M. Golshani, A.R Shir Ali Nasab
论文ID：2201.09551
分类：Category Theory
分类简称：math.CT
提交时间：2022-01-25
PDF 下载： 英文版 中文版pdf翻译中