Exponentiable functors between synthetic ∞-categories
Published in Submitted preprint, 2024
Recommended citation: Bardomiano Martínez, César. “Exponentiable Functors between Synthetic ∞-Categories.” Mathematical Structures in Computer Science 35 (2025): e29. https://doi.org/10.1017/S0960129525100339. https://doi.org/10.1017/S0960129525100339
We study exponentiable functors in simplicial type theory. Published in Mathematical Structures in Computer Science.
Bardomiano Martínez, César. “Exponentiable Functors between Synthetic ∞-Categories.” Mathematical Structures in Computer Science 35 (2025): e29. https://doi.org/10.1017/S0960129525100339.