摘要：将一个强化类别与一个内部类别相关联的一种新的构造被提出。关键概念是广义环境类别，构造遵循将具有幂等元的类别与给定类别相关联的类似构造。当限制到一类内部类别时，该关联被证明是函子性的，并且是一个已知函子的左伴随，这些内部类别在某种规范方式下具有幂等元的分裂，并强加了一种大小限制。
作者：Matteo Di Domenico
论文ID：2208.01117
分类：Category Theory
分类简称：math.CT
提交时间：2022-08-03
PDF 下载： 英文版 中文版pdf翻译中