Abstract:Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the Čech nerve of a good open cover. Upon embedding the category of manifolds into the $\infty$-topos $\mathbf{Diff}^\infty$ of differentiable sheaves one gains a further notion of underlying homotopy type: the shape of the corresponding differentiable sheaf. In a first series of results we prove using simple cofinality and descent arguments that the shape of any manifold coincides with many other notions of underlying homotopy types such as the ones mentioned above. Our techniques moreover allow for computations, such as the homotopy type of the Haefliger stack, following Carchedi. This leads to more refined questions, such as what it means for a mapping differential sheaf to have the correct shape. To answer these we construct model structures as well as more general homotopical calculi on the $\infty$-category $\mathbf{Diff}^\infty$ (which restrict to its full subcategory of $0$-truncated objects,$\mathbf{Diff}^\infty_{\leq 0}$) with shape equivalences as the weak equivalences. These tools are moreover developed in such a way so as to be highly customisable, with a view towards future applications, e.g. in geometric topology. Finally, working with the $\infty$-topos $\mathbf{Diff}^0$ of sheaves on topological manifolds, we give new and conceptual proofs of some classical statements in algebraic topology. These include Dugger and Isaksen's hypercovering theorem, and the fact that the Quillen adjunction between simplicial sets and topological spaces is a Quillen equivalence.

An Alternative to Homotopy Transfer for $A_\infty$-Algebras

Homological Integral of Hopf Algebras

Transfers of $A_\infty$- and other homotopy structures as Grothendieck bifibrations

Homotopy conformal algebras

The Homotopy Theory of $A_\infty$Categories

Homotopy theory of homotopy algebras

The homotopy theory of differentiable sheaves

On the First Hochschild Cohomology of Admissible Algebras

Homotopy theory of pre-Calabi-Yau morphisms

On differential Hopf algebras and $B_\infty$ algebras

The deformation complex is a homotopy invariant of a homotopy algebra

Hopf algebras and homotopy invariants

Homotopy Algebras for Operads

Noncommutative homotopy algebras associated with open strings

Differential Cohomology as Diffeological Homotopy Theory

Component-Based Embedded Software Engineering: Development Framework, Quality Assurance and a Generic Assessment Environment

The Deformation Complex For DG Hopf Algebras

Homotopy Invariants of Braided Commutative Algebras and the Deligne Conjecture for Finite Tensor Categories

Chicken or egg? A hierarchy of homotopy algebras

A1-Algebraic Topology over a Field

Formal deformations, cohomology theory and $L_\infty[1]$-structures for differential Lie algebras of arbitrary weight