Ivan Di Liberti

activity

20172026

most citedFunctorial Semantics for Partial Theories

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

collaborators

Showing 2019Show all

3 papers · 1 filter

math.CT2019★ 5 cited

Codensity: Isbell duality, pro-objects, compactness and accessibility

Ivan Di Liberti

We study codensity monads $T$ induced by (mostly small, mostly dense) full subcategories $A \subset K$ . These monads behave quite similarly, we show some connections with the Isbel…

math.CT2019★ 1 cited

Gabriel-Ulmer duality for topoi and its relation with site presentations

Ivan Di Liberti, Julia Ramos González

Let $κ$ be a regular cardinal. We study Gabriel-Ulmer duality when one restricts the 2-category of locally $κ$ -presentable categories with $κ$ -accessible right adjoints to its loca…

math.CT2019★ 1 cited

On the unicity of formal category theories

Ivan Di Liberti, Fosco Loregian

We prove an equivalence between cocomplete Yoneda structures and certain proarrow equipments on a 2-category $K$ . In order to do this, we recognize the presheaf constructi…