activity
20172026
most citedFunctorial Semantics for Partial Theories

8 citations · 45 across the 26 of their papers we have counts for

collaborators
Showing 2023Show all

2 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.LO2023

Duality for coalgebras for Vietoris and monadicity

Marco Abbadini, Ivan Di Liberti

We prove that the opposite of the category of coalgebras for the Vietoris endofunctor on the category of compact Hausdorff spaces is monadic over Set. We deliver an analogous resul…