8 citations · 11 across the 4 of their papers we have counts for
4 papers
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…
Functorial Semantics for Partial Theories
Ivan Di Liberti, Fosco Loregian, Chad Nester +1
We provide a Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case,…
The Scott adjunction
Ivan Di Liberti
We introduce and study the Scott adjunction, relating accessible categories with directed colimits to topoi. Our focus is twofold, we study both its applications to formal model th…
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 . In order to do this, we recognize the presheaf constructi…