The Universal Exponentiable Arrow

Taichi Uemura

DOI: https://doi.org/10.1016/j.jpaa.2021.106991

2021-08-10

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.

Category Theory,Logic