组件、补充和反射公式
摘要：关于在基本类别X上同时包含离散纤维和离散上纤维的一些基本特征进行了讨论。特别地，我们展示了公式 (|P)x = ten(x/X,P) ； (P|)x = hom(X/x,P)，它们给出了离散纤维中类别P在X上的反映和共反映。通过使用由乘积的分量给出的“张量函子”ten := comp(- imes -) : Cat/X imes Cat/X o Set，可以对在两值上下文中的相应分析进行广泛推广。对于任何df A，函子ten(A,-) : Cat/X o Set具有一个右伴随 eg A以dof为值（反之亦然）；这样的补充运算符，在两值情况下会简化为偏序集的下部分和上部分之间的经典求补运算，结果证明在集合值上下文中也是一个有效工具。介绍了公式和相关概念框架的各种应用。
作者：Claudio Pisani
论文ID：math/0701457
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23