Exponentiable functors between synthetic ∞-categories
Published in Submitted preprint, 2024
Recommended citation: https://arxiv.org/abs/2407.18072
We study exponentiable functors in simplicial type theory. Submitted
Download paper here Submitted.
Published in Submitted preprint, 2024
Recommended citation: https://arxiv.org/abs/2407.18072
We study exponentiable functors in simplicial type theory. Submitted
Download paper here Submitted.