# Contents * table of contents {:toc} ## $\mathbf{\Pi}_inf$-closed morphisms +-- {: .num_lemma} ###### Definition Let $\dagger$ be an idempotent monad on a presentable $(\infty,1)$-category $C$. A morphism $f:X\to Y$ is called *$\dagger$-closed* if $$\array{ X&\to &\dagger X \\ \downarrow^f &&\downarrow^{\dagger f} \\ Y&\to& \dagger Y }$$ is a pullback square. =-- +-- {: .num_lemma #daggerclosed} ###### Theorem The class of $\dagger$-closed morphisms $C$ satisfies the following closure properties: (1) Every equivalence is $\dagger$-closed. (2) The composite of two $\dagger$-closed morphisms is $\dagger$-closed. (3) The left cancellation property is satisfied: If $h=g\circ f$ and $h$ and $g$ are $\dagger$-closed, then so is $f$. (4) Any retract of a $\dagger$-closed morphism is $\dagger$-closed. (5) The class is closed under pullbacks which are preserved by $\dagger$. =-- +-- {: .num_lemma} ###### Remark A class of $\dagger$-closed morphism which is closed under pullback is an *admissible structure* defining a *geometry* in the sense of Lurie's DAG. =-- +-- {: .num_lemma} ###### Theorem (Formally étale subslices are coreflecive) Let $C/X$ be a slice of $C$. The full sub-$(\infty,1)$-category $(C/X)_\dagger\stackrel{\iota}{\hookrightarrow} C/X$ on those morphisms into $X$ which are $\dagger$-closed is reflective and coreflective; i.e. $\iota$ fits into an adjoint triple $$ (C/X)_\dagger \stackrel{\overset{L}{\leftarrow}}{\stackrel{\hookrightarrow}{\underset{Et}{\leftarrow}}} (C/X) \,. $$ In particular $C_\dagger:=(C/*)_\dagger\hookrightarrow C$ is reflective and coreflective. =-- +-- {: .num_lemma} ###### Example ($\mathbf{\Pi}_inf$-closed morphism) Let $H$ be a cohesive $(\infty,1)$-topos equipped with infinitesimal cohesion $$(i_!\dashv i^*\dashv i_*):H\stackrel{i_*}{\to} H_th$$ Then the class of formally étale morphisms in $H$ equals the class of $\mathbf{\Pi}_inf:=i_*i^*$-closed morphisms in $H_th$ which happen to lie in $H$. =-- +-- {: .num_lemma} ###### Theorem For the classs $E$ of $\mathbf{\Pi}_inf$-closed morphisms in $C$ we have in addition to the above closure properties also the following ones: (1) If in a pullback square in $C$ the left arrow is in $E$ and the bottom arrow is an effective epimorphism, then the right arrow is in $E$. (2) Every morphism $D\to *$ from a discrete object to the terminal object is in $E$. (3) $E$ is closed under colimit (taken in the arrow category). (4) $E$ is closed under forming diagonals. =-- +-- {: .num_lemma} ###### Definition ($\mathbf{\Pi}_inf$-closed object) An object of $H$ is called *formally étale object* if there is a formally étale (effective) epimorphism (called *atlas*) from a $0$-truncated object into $X$. =-- +-- {: .num_lemma} ###### Theorem (De Rham theorem for formally étale objects) The de Rham theorem holds for any formally étale object for which the de Rham theorem holds level-wise in regard to the Cech nerve induced from the atlas. =-- ## Derived structures and models ### $U$-modelled higher manifolds +-- {: .num_lemma} ###### Definition (Cover, Atlas) Let $U\to X$ be a morphism of an $(\infty,1)$-category. (1) We call $U\to X$ a *cover of $X$* if it is an effective epimorphism. (2) We call $U\to X$ a *relative cover wrt. a class $M$ of morphisms* if its pullback along every morphism in $M$ is a cover of $U$ and lies in $M$. (3) We call $U\to X$ a *$n$-atlas of $X$*, if it is a cover and $U$ is $0$-truncated. A $0$-atlas we call just an *atlas*. =-- +-- {: .num_lemma} ###### Theorem (Hausdorff manifold) (1) $X$ is a paracompact if there is a set of monomorphisms $\phi_i:\mathbb{R}^n\to X$ such that the corresponding Cech groupoid $\zeta_\phi$ is degree-wise a coproduct of copies of $\mathbb{R}^n$. (2) $X$ is hausdorff if $\zeta_\phi$ is moreover étale. =-- +-- {: .num_lemma} ###### Definition ($U$-modelled $\infty$-manifold) =-- ### $\infty$-orbifolds +-- {: .num_lemma} ###### Definition ($\kappa$-compact object, $\kappa$-compact cover, relatively $\kappa$-compact atlas) Let $C$ be an $(\infty,1)$-category. Let $U\to X$ be a morphism. (1) $U$ is called *$\kappa$-compact* if $C(X,-)$ preserves $\kappa$-filtered colimits. (2) $U\to X$ is called *$\kappa$-compact cover* if it is a cover and $U$ is $\kappa$-compact. (3) $U\to X$ is called *relative $\kappa$-compact cover* if it is a relative cover wrt. all morphisms with $\kappa$-compact domain. =-- +-- {: .num_lemma} ###### Remark The class of relative $\kappa$-compact covers is closed under composition, pullbacks, and contains all isomorphisms. =-- +-- {: .num_lemma} ###### Definition ($\infty$-orbifold) An *$\infty$-orbifold* is defined to be a groupoid object in $H$ posessing a relative $\kappa$-compact atlas which is also $\mathbf{\Pi}_inf$-closed. =-- +-- {: .num_lemma} ###### Corollary (De Rham theorem for $\infty$-orbifolds) =-- +-- {: .num_lemma} ###### Observation (Inertia $\infty$-orbifold) =-- ## Models The $(\infty,1)$-topos of synthetic differential $\infty$-groupoids is an infinitesimal cohesive neighborhood of the $(\infty,1)$-topos of smoooth $\infty$-groupoids. ### Étale groupoids +-- {: .num_lemma} ###### Lemma =-- +-- {: .num_lemma} ###### Theorem (Classical étale groupoids) =-- +-- {: .num_lemma} ###### Theorem (Formally étale $\infty$-groupoids are étale simplicial manifolds) =--