8 citations · 45 across the 26 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.CT2024
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…
math.CT2024
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…