8 citations · 45 across the 26 of their papers we have counts for
4 papers · 1 filter
Conceptual completeness for subgeometric logics
Ivan Di Liberti, Umberto Tarantino, Lingyuan Ye
We explore the notion of conceptual completeness for a fragment of geometric logic in the framework developed by the first and third author. Unlike its traditional interpretation a…
Polarities, voltages, and capacitors: a categorical approach to hulls, envelopes, and completions
Ivan Di Liberti, Martino Lupini
This article provides a general framework in the context of category theory where one can recognize as particular instances of the same abstract construction several notions of com…
Craig Interpolation for Subgeometric Logics
Ivan Di Liberti, Lingyuan Ye
We show that a vast class of finitary fragments of geometric logic admit a form of Craig interpolation property. In doing so, we provide a new dictionary to import technology from…
Classifying Infinity Topoi via Weighted Limits
Ivan Di Liberti, Nicholas Meadows
We construct classifying -topoi by showing that the -category of topoi has weighted limits. We show that several prestacks of interest have a classifying topos,…