Source author record

Mathieu Anel

Mathieu Anel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT math.CT math.GR

Catalog footprint

What is connected

4works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

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.