注入性的逻辑
摘要：关于一组态射$ch$的对象的单射性是代数、模型理论和同伦理论中的一个重要概念。本文研究了$ch$的单射性后果的逻辑，其中单射性后果指的是一组态射$h$，其关于$ch$的单射性蕴含着其关于$h$的单射性。我们提出了三个单射性逻辑和其有限版本的简单推导规则，有限版本仅考虑有限秩对象之间的态射，并证明它们在所有范畴中都是正确的，在所有“合理”的范畴中是完备的。
作者：J. Adamek, M. Hebert and L. Souza
论文ID：0709.2461
分类：Category Theory
分类简称：math.CT
提交时间：2007-09-18