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.
No takes yet. Share an insight, caveat, or question.
César Bardomiano-Martínez (2024) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: