3 citations · 4 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CT2022
Codescent and bicolimits of pseudo-algebras
Axel Osmond
We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can…
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…