The Universal Exponentiable Arrow

DOI10.1016/J.JPAA.2021.106991MaRDI QIDQ6333579arXivFDO

Authors Taichi Uemura

Publication date 27 January 2020

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.JPAA.2021.106991

Mathematics Subject Classification ID

Type theory (03B38) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10)

arXiv classification

math.CTmath.LO

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.

This page was built for publication: The Universal Exponentiable Arrow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6333579)