Limits and exponentiable functors in simplicial type theory
Published in Preprint, 2022
Recommended citation: https://arxiv.org/abs/2202.12386
We develop a theory of limits and colimits in the setting of synthetic ∞-categories. Also, we examine exponentiable functors in this framework
Download paper here Submitted.