8 citations · 45 across the 26 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
math.CT2022★ 1 cited
The geometry of Coherent topoi and Ultrastructures
Ivan Di Liberti
We show that coherent topoi are right Kan injective with respect to flat embeddings of topoi. We recover the ultrastructure on their category of points as a consequence of this res…
math.CT2022★ 1 cited
KZ-pseudomonads and Kan Injectivity
Ivan Di Liberti, Gabriele Lobbia, Lurdes Sousa
We introduce the notion of Kan injectivity in 2-categories and study its properties. For an adequate 2-category , we show that every set of morphisms ind…
math.CT2022
Bi-accessible and bipresentable 2-categories
Ivan Di Liberti, Axel Osmond
We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of…