8 citations · 45 across the 26 of their papers we have counts for
6 papers · 1 filter
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,…
Formal Model Theory & Higher Topology
Ivan Di Liberti
We study the -categories BIon, of (generalized) bounded ionads, and , of accessible categories with directed colimits, as an abstract framework to approach formal…
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…
Towards Higher Topology
Ivan Di Liberti
We categorify the adjunction between locales and topological spaces, this amounts to an adjunction between (generalized) bounded ionads and topoi. We show that the adjunction is id…
General facts on the Scott Adjunction
Ivan Di Liberti
We introduce, comment and develop the Scott adjunction, mostly from the point of view of a category theorist. Besides its technical and conceptual aspects, in a nutshell we provide…
Enriched Locally Generated Categories
Ivan Di Liberti, Jiří Rosický
We introduce the notion of -locally generated category for a factorization system and study its properties. We offer a Gabriel-Ulmer dualit…