拟范畴 I：内部拟范畴和饱和偏代数
摘要：基于幺半群分类器，我们提供了Freyd的准范畴的替代公理化，可以在任何部分映射的双范畴中进行解释。在我们的环境类别中进一步假设具有自由幺半群单子函子T，并且辅以满足某些精确性条件的商等化子，我们给出了一个抽象的信封构造，将参数幺半群（和准范畴）置于更一般的部分代数背景中。我们为后者引入了关键的饱和度概念，该概念表征了那些与从其包络代数获得的代数同构的部分代数。我们还建立了一个关于部分代数的分解系统，通过核像和（单射）Kleene态射，并将后者与饱和度联系起来。
作者：Claudio Hermida, Paulo Mateus
论文ID：math/0303083
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23