3 citations · 4 across the 4 of their papers we have counts for
5 papers
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…
On Diers theory of Spectrum I : Stable functors and right multi-adjoints
Axel Osmond
Diers developed a general theory of right multi-adjoint functors leading to a purely categorical, point-set construction of spectra. Situations of multiversal properties return set…