类别逻辑
摘要：通过从类别X中的离散纤维和opfibration的指数收录中抽象出来，我们提出了一种关于范畴论的教义方法。换句话说，“弱时序教义”基本上由两个具有相同共域的指数函子组成，这些函子的衍生函子具有左右伴随并满足某些准确性条件，其灵感来源于范畴逻辑。衍生的逻辑规则包括一些类似伴随规则的法则，其中涉及了真值丰富的同态函子和张量函子，这些法则展示了一个良好的对称性并凝聚了几个基本的范畴性质。在稍微更强的“时序教义”的背景下，这种对称性变得更加明显，我们首先进行了处理，其中包括了一个偏序集的下限和上限集的收录，以及一个图的左右作用在它的图集中的收录。
作者：Claudio Pisani
论文ID：1003.5552
分类：Category Theory
分类简称：math.CT
提交时间：2010-03-30