Delta镜像的代数弱分解系统
摘要：代数弱分解系统中的Delta透镜是配备适当的提升的函子，用于建模系统之间的双向转换。本文构建了一个代数弱分解系统，其中的R-代数是Delta透镜。我们的方法扩展了Johnson和Rosebrugh之前引入的Delta透镜的半单子，而且适用于配备有正交分解系统和幂等余子的任何适当范畴。我们展示了代数弱分解系统的框架如何提供了对Delta透镜的提升操作的自然环境，并且还提供了关于一个函子的自由Delta透镜的明确描述。
作者：Bryce Clarke
论文ID：2305.02732
分类：Category Theory
分类简称：math.CT
提交时间：2023-05-05