Source author record

Georg Biedermann

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.AG math.GT

Catalog footprint

Research overview

7works

4topics

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.

preprint2014arXiv

Calculus of functors and model categories II

This is a continuation, completion, and generalization of our previous joint work with B. Chorny. We supply model structures and Quillen equivalences underlying Goodwillie's constructions on the homotopy level for functors between simplicial model categories satisfying mild hypotheses.

preprint2014arXiv

Duality and small functors

The homotopy theory of small functors is a useful tool for studying various questions in homotopy theory. In this paper, we develop the homotopy theory of small functors from spectra to spectra, and study its interplay with Spanier-Whitehead duality and enriched representability in the dual category of spectra. We note that the Spanier-Whitehead duality functor $D\colon \mathrm{Sp}\rightarrow \mathrm{Sp}^{\mathrm{op}}$ factors through the category of small functors from spectra to spectra and construct a new model structure on the category of small functors, which is Quillen equivalent to $\mathrm{Sp}^{\mathrm{op}}$ . In this new framework for the Spanier-Whitehead duality, $\mathrm{Sp}$ and $\mathrm{Sp}^{\mathrm{op}}$ are full subcategories of the category of small functors and dualization becomes just a fibrant replacement in our new model structure.

preprint2008arXiv

Homotopy nilpotent groups

We study the connection between the Goodwillie tower of the identity and the lower central series of the loop group on connected spaces. We define the simplicial theory of homotopy n-nilpotent groups. This notion interpolates between infinite loop spaces and loop spaces. We prove that the set-valued algebraic theory obtained by applying $π_0$ is the theory of ordinary n-nilpotent groups and that the Goodwillie tower of a connected space is determined by a certain homotopy left Kan extension. We prove that n-excisive functors of the form $ΩF$ have values in homotopy n-nilpotent groups.

preprint2006arXiv

Calculus of functors and model categories

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the $n$ -homogeneous model structure, the $n$ -th derivative is a Quillen functor to the category of spectra with $Σ_n$ -action. After taking into account only finitary functors -- which may be done in two different ways -- the above Quillen map becomes a Quillen equivalence. This improves the classification of finitary homogeneous functors by T. G. Goodwillie.

preprint2006arXiv

On the homotopy theory of n-types

An n-truncated model structure on simplicial (pre-)sheaves is described having as weak equivalences maps that induce isomorphisms on certain homotopy sheaves only up to degree n. Starting from one of Jardine's intermediate model structures we construct such an n-type model structure via Bousfield-Friedlander localization and exhibit useful generating sets of trivial cofibrations. Injectively fibrant objects in these categories are called n-hyperstacks. The whole setup can consequently be viewed as a description of the homotopy theory of higher hyperstacks. More importantly, we construct analogous n-truncations on simplicial groupoids and prove a Quillen equivalence between these settings. We achieve a classification of n-types of simplicial presheaves in terms of (n-1)-types of presheaves of simplicial groupoids. Our classification holds for general n. Therefore this can also be viewed as the homotopy theory of (pre-)sheaves of (weak) higher groupoids.

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.

Georg Biedermann

Research overview

Is this your work?

7 publications

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

A Generalized Blakers-Massey Theorem

Calculus of functors and model categories II

Duality and small functors

Homotopy nilpotent groups

Calculus of functors and model categories

On the homotopy theory of n-types

See the researcher in context

Building this map preview

Georg Biedermann

Research overview

Is this your work?

7 publications

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

A Generalized Blakers-Massey Theorem

Calculus of functors and model categories II

Duality and small functors

Homotopy nilpotent groups

Calculus of functors and model categories

On the homotopy theory of n-types

See the researcher in context

Building this map preview

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