The Universal Exponentiable Arrow
Category Theory
2022-05-03 v2 Logic
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.
Keywords
Cite
@article{arxiv.2001.09940,
title = {The Universal Exponentiable Arrow},
author = {Taichi Uemura},
journal= {arXiv preprint arXiv:2001.09940},
year = {2022}
}
Comments
to appear in Journal of Pure and Applied Algebra