Exponentiable functors between synthetic $\infty$-categories
Category Theory
2025-11-25 v1 Algebraic Topology
Abstract
We study exponentiable functors in the context of synthetic -categories. We do this within the framework of simplicial Homotopy Type Theory of Riehl and Shulman. Our main result characterizes exponentiable functors. In order to achieve this, we explore Segal type completions. Moreover, we verify that our result is semantically sound.
Cite
@article{arxiv.2407.18072,
title = {Exponentiable functors between synthetic $\infty$-categories},
author = {César Bardomiano-Martínez},
journal= {arXiv preprint arXiv:2407.18072},
year = {2025}
}
Comments
26 pages. Split from previous version of arXiv:2202.12386. Submitted