The Universal Exponentiable Arrow
arXiv:2001.09940 · doi:10.1016/j.jpaa.2021.106991
Abstract
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.
to appear in Journal of Pure and Applied Algebra