Jérémie Marquès

activity

20242026

collaborators

Showing 2024Show all

2 papers · 1 filter

math.CT2024

A Criterion for Categories on which every Grothendieck Topology is Rigid

Jérémie Marquès

Let $C$ be a Cauchy-complete category. The subtoposes of $[C^{op}, Set]$ are sometimes all of the form $[D^{op}, Set]$ …

math.CT2024

Atomic Toposes with Co-Well-Founded Categories of Atoms

Jérémie Marquès

The atoms of the Schanuel topos can be described as the pairs $(n, G)$ where $n$ is a finite set and $G$ is a subgroup of $Aut (n)$ . We give a general criterion on an…