14 citations · 24 across the 11 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.CT2023★ 1 cited
Adjoint functor theorems for lax-idempotent pseudomonads
Nathanael Arkor, Ivan Di Liberti, Fosco Loregian
For each pair of lax-idempotent pseudomonads and , for which is locally fully faithful and distributes over , we establish an adjoint functor theorem, relating $R…
math.CT2023★ 2 cited
Relative monadicity
Nathanael Arkor, Dylan McDermott
We establish a relative monadicity theorem for relative monads with dense roots in a virtual equipment, specialising to a relative monadicity theorem for enriched relative monads.…
math.CT2023★ 14 cited
The formal theory of relative monads
Nathanael Arkor, Dylan McDermott
We develop the theory of relative monads and relative adjunctions in a virtual equipment, extending the theory of monads and adjunctions in a 2-category. The theory of relative com…