8 citations · 11 across the 10 of their papers we have counts for
8 papers · 1 filter
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…
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,…
Sketches and Classifying Logoi
Ivan Di Liberti, Gabriele Lobbia
Inspired by the theory of classifying topoi for geometric theories, we define rounded sketches and logoi and provide the notion of classifying logos for a rounded sketch. Rounded s…
Topoi with enough points
Ivan Di Liberti, Morgan Rogers
We extend Deligne's original argument showing that locally coherent topoi have enough points, clarified using collage diagrams. We show that our refinement of Deligne's technique c…
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…
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…