论文标题
通用式箭头
The Universal Exponentiable Arrow
论文作者
论文摘要
我们表明，被视为具有有限限制的类别的广义代数理论的本质代数理论具有通用的可荷箭头，因为任何具有有限限制的类别中的任何可荷箭头都是基本独特函数的通用型箭头的图像。
We show that the essentially algebraic theory of generalized algebraic theories, regarded as a category with finite limits, has a universal exponentiable arrow in the sense that any exponentiable arrow in any category with finite limits is the image of the universal exponentiable arrow by an essentially unique functor.
