范畴操作元的积分

我们描述了取值于范畴（从而取值为群胚和偏序集）的非对称操作元的Grothendieck构造。该构造产生一个2范畴，该2范畴关于有限非空序数与满射范畴 $\mathcal{D}$ 是操作元纤维化的。我们描述了该构造的逆构造，建立了常自由非对称范畴操作元与关于 $\mathcal{D}$（分裂）操作元纤维化的2范畴之间的等价关系，这类似于范畴预层与纤维化范畴之间的对应关系。该结果提供了非对称范畴操作元的新刻画和研究工具。