1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.CT2024
Exponentiable functors between synthetic -categories
César Bardomiano-Martínez
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 r…
math.CT2022★ 1 cited
Limits and colimits of synthetic -categories
César Bardomiano Martínez
We develop the theory of limits and colimits in -categories within the synthetic framework of simplicial Homotopy Type Theory developed by Riehl and Shulman. We also show t…