Source author record

Mathieu Anel

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.CT math.GR

Catalog footprint

Research overview

4works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Left-exact Localizations of $\infty$ -Topoi I: Higher Sheaves

We are developing tools for working with arbitrary left-exact localizations of $\infty$ -topoi. We introduce a notion of higher sheaf with respect to an arbitrary set of maps $Σ$ in an $\infty$ -topos $\mathscr{E}$ . We show that the full subcategory of higher sheaves $\mathrm{Sh}(\mathscr{E},Σ)$ is an $\infty$ -topos, and that the sheaf reflection $\mathscr{E}\to \mathrm{Sh}(\mathscr{E},Σ)$ is the left-exact localization generated by $Σ$ . The proof depends on the notion of congruence, which is a substitute for the notion of Grothendieck topology in 1-topos theory.

preprint2020arXiv

A Generalized Blakers-Massey Theorem

We prove a generalization of the classical connectivity theorem of Blakers-Massey, valid in an arbitrary higher topos and with respect to an arbitrary modality, that is, a factorization system (L,R) in which the left class is stable by base change. We explain how to rederive the classical result, as well as a recent generalization by Chachólski-Scherer-Werndli. Our proof is inspired by the one given in Homotopy Type Theory.

preprint2020arXiv

Small object arguments, plus-construction, and left-exact localizations

We present a variant of the small object argument, inspired by Kelly, better suited to construct unique factorisation systems. Our main result is to compare it to the plus-construction involved in sheafification. We apply this to construct localizations, modalities and left-exact localizations explicitly from generators.

preprint2012arXiv

Orderable groups and bundles

We define what is meant by a strict total order in a category having subobjects, products and fibre products. This allows us to define the notions of an ordered bundle X and an ordered G-set; when G=π_1(X) we relate these structures to orderings of π_1(X). We apply this to prove a theorem of Farrell relating right-orderings of π_1(X) to embeddings of the universal cover into line bundles over X, and generalize it by relating bi-orderings of π_1(X) to embeddings of the path space into line bundles over X \times X.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Mathieu Anel

Research overview

Is this your work?

4 publications

Left-exact Localizations of $\infty$ -Topoi I: Higher Sheaves

A Generalized Blakers-Massey Theorem

Small object arguments, plus-construction, and left-exact localizations

Orderable groups and bundles

See the researcher in context

Building this map preview

Mathieu Anel

Research overview

Is this your work?

4 publications

Left-exact Localizations of ∞\infty∞-Topoi I: Higher Sheaves

A Generalized Blakers-Massey Theorem

Small object arguments, plus-construction, and left-exact localizations

Orderable groups and bundles

See the researcher in context

Building this map preview

Left-exact Localizations of $\infty$ -Topoi I: Higher Sheaves