Published in Preprint, 2025
We explore a beautiful and intriguing relation between logic and homotopy theory. In this joint work with Simon Henry, we build the notion of a language over a model category. Throughout it, we hope to get some insights about models of infinity categories.
Recommended citation: Arxiv preprint!
Published in Submitted preprint, 2024
We study exponentiable functors in simplicial type theory. Submitted
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
Published in Submitted preprint, 2022
We develop a theory of limits and colimits in the setting of synthetic ∞-categories.
Recommended citation: Bardomiano Martínez, César. “Limits and Colimits in Synthetic ∞-Categories.” Mathematical Structures in Computer Science 35 (2025): e24. https://doi.org/10.1017/S0960129525100248. https://doi.org/10.1017/S0960129525100248