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.

Homotopy Covers of Graphs

Fundamental Groups of Hamming Graphs

Fundamental Groups and Covering of Digraphs

Computing the homology of universal covers via effective homology and discrete vector fields

A T ] 1 J Ul 2 01 4 Homotopy Theory for Digraphs

Subrepresentations in the homology of finite covers of graphs

Homotopy and the Homomorphism Threshold of Odd Cycles

Homotopy type of circle graph complexes motivated by extreme Khovanov homology

Mapping fiber, loop and suspension graphs in naive discrete homotopy theory

On the path homology of Cayley digraphs and covering digraphs

Hodge Theory of Abelian Covers

Homotopy theory of the master equation package applied to algebra and geometry: a sketch of two interlocking programs

The fundamental group(oid) in discrete homotopy theory

Homotopical decompositions of simplicial and Vietoris Rips complexes

Graphing, homotopy groups of spheres, and spaces of long links and knots

Generating the homology of covers of surfaces

Homology Covers and Automorphisms: Examples

Coverings of Graphoids: Existence Theorem and Decomposition Theorems

Classification of Covering Spaces and Canonical Change of Basepoint

The homotopy theory of differentiable sheaves

Schematic homotopy types and non-abelian Hodge theory