3 citations · 4 across the 5 of their papers we have counts for
7 papers · 1 filter
Morphisms and comorphisms of sites II -- Distributors of sites
Axel Osmond, Olivia Caramello
We introduce a notion of distributor of sites, involving suited analogs of flatness and cover-preservation, and show that this notion jointly generalizes those of morphism and como…
Morphisms and comorphisms of sites I -- Double categories of sites
Olivia Caramello, Axel Osmond
We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves,…
On a (terminally connected, pro-etale) factorization of geometric morphisms
Olivia Caramello, Axel Osmond
We extend the classical (connected, etale) factorization of locally connected geometric morphisms into a (terminally connected, pro-etale) factorization for all geometric morphisms…
On coslices and commas of locally finitely presentable categories
Axel Osmond
We give an explicit description of the generator of finitely presented objects of the coslice of a locally finitely presentable category under a given object, as consisting of all…
The over-topos at a model
Olivia Caramello, Axel Osmond
With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, whi…
On Diers theory of Spectrum II: Geometries and dualities
Axel Osmond
This second part comes to the construction of the spectrum associated to a situation of multi-adjunction. Exploiting a geometric understanding of its multi-versal property, the spe…