Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory object of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeJan 20th 2011
   • (edited Jan 20th 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI am pretty much through with expanding and polishing * 3.1 [[discrete infinity-groupoid]] * 3.2 [[Euclidean-topological infinity-groupoid]] Now I am starting to work on * 3.3 [[smooth infinity-groupoid]] * 3.4 [[synthetic differential infinity-groupoid]] So far I have restructured the section outline at these entries to match that of the entry [[cohesive infinity-groupoid]]. All these entries are supposed to go through that list of _Structures in a cohesive $\infty$-topos_ in parallel. I have also removed at [[smooth infinity-groupoid]] a bunch of material that is meanwhile discussed in more polished form at [[Euclidean-topological infinity-groupoid]]. To account for that I should now add a discussion of a free-forgtful adjunction between $Smooth \infty Grpd$ and $ETop \infty Grpd$ and how to transfer structure along that.

   I am pretty much through with expanding and polishing

   • 3.1 discrete infinity-groupoid

   • 3.2 Euclidean-topological infinity-groupoid

   Now I am starting to work on

   • 3.3 smooth infinity-groupoid

   • 3.4 synthetic differential infinity-groupoid

   So far I have restructured the section outline at these entries to match that of the entry cohesive infinity-groupoid. All these entries are supposed to go through that list of Structures in a cohesive $\infty$-topos in parallel.

   I have also removed at smooth infinity-groupoid a bunch of material that is meanwhile discussed in more polished form at Euclidean-topological infinity-groupoid.

   To account for that I should now add a discussion of a free-forgtful adjunction between $Smooth \infty Grpd$ and $ETop \infty Grpd$ and how to transfer structure along that.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeJan 24th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexI've been reworking [[smooth infinity-groupoid]]. I have reorganized all the material. Instead of the previous list of examples, which discussed all kinds of structure on a given class of smooth $\infty$-groupoids, I have instead now a list of all the structures, and subsections with realizations on specific classes of smooth $\infty$-groupoids. Then I moved over from [[circle n-bundle with connection]] all material on intrinsic de Rham cohomology and intrinsic differential cohomology that had not already been there. I have come to think that it is best to discuss all the intrinsic structure of a cohesive $\infty$-topos in one place, not splitting them off in separate entries. I started polishing mostly the subsections that deal with the circle $n$-groups $\mathbf{B}^n U(1)$. But not done yet.

   I’ve been reworking smooth infinity-groupoid.

   I have reorganized all the material. Instead of the previous list of examples, which discussed all kinds of structure on a given class of smooth $\infty$-groupoids, I have instead now a list of all the structures, and subsections with realizations on specific classes of smooth $\infty$-groupoids.

   Then I moved over from circle n-bundle with connection all material on intrinsic de Rham cohomology and intrinsic differential cohomology that had not already been there. I have come to think that it is best to discuss all the intrinsic structure of a cohesive $\infty$-topos in one place, not splitting them off in separate entries.

   I started polishing mostly the subsections that deal with the circle $n$-groups $\mathbf{B}^n U(1)$. But not done yet.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeJan 25th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added to [[smooth infinity-groupoid]] in the subsection <a href="http://nlab.mathforge.org/nlab/show/smooth+infinity-groupoid#StrucConcreteObjects">Concrete objects</a> the observation that every _diffeological Kan complex_ identifies as an object in $Smooth \infty Grpd$ that is a <a href="http://ncatlab.org/nlab/show/cohesive+(infinity%2C1)-topos#ConcreteObjects">concrete object in the sense of cohesive oo-toposes</a> the way I have currently defined it there. But I am clearly still missing the central statements about concrete objects. Whatever they are.

   I have added to smooth infinity-groupoid in the subsection Concrete objects the observation that every diffeological Kan complex identifies as an object in $Smooth \infty Grpd$ that is a concrete object in the sense of cohesive oo-toposes the way I have currently defined it there.

   But I am clearly still missing the central statements about concrete objects. Whatever they are.

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeJan 27th 2011
   • (edited Jan 27th 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have started now working on the section <a href="http://nlab.mathforge.org/nlab/show/smooth+infinity-groupoid#StrucLieAlg">Exponentiated oo-Lie algebras</a>. So far I have mostly removed material that had meanwhile found its way in my article with Domenico and Jim in improved form and which I need to re-insert here after reorganizing a bit. Then I have added the proof that for $\mathfrak{g}$ any $L_\infty$-algebra, the smooth $\infty$-groupoid $\exp(\mathfrak{g})$ (its "$\infty$-simply connected Lie integration") is geometrically contractible, in that $$ \Pi \exp(\mathfrak{g}) \simeq * \,, $$ thus quallifying as an exponentiated $\infty$-Lie algebra also in the general abstract sense of cohesive $\infty$-toposes. The contractibility statement is an easy observation in Andr&eacute;'s original article in the context of simplicial Banach spaces. The point of the proof here is to observe that everything goes through in the diffeological $\infty$-groupoid case, too, and that the "naive" contractibility is indeed that as seen by the intrinsic fundamental $\infty$-groupoid functor $\Pi$. I tried to write that out carefully, which maybe makes the proof unduly lengthy, but anyway.

   I have started now working on the section Exponentiated oo-Lie algebras.

   So far I have mostly removed material that had meanwhile found its way in my article with Domenico and Jim in improved form and which I need to re-insert here after reorganizing a bit.

   Then I have added the proof that for $\mathfrak{g}$ any $L_\infty$-algebra, the smooth $\infty$-groupoid $\exp(\mathfrak{g})$ (its “$\infty$-simply connected Lie integration”) is geometrically contractible, in that

   $$\Pi \exp(\mathfrak{g}) \simeq * \,,$$

   thus quallifying as an exponentiated $\infty$-Lie algebra also in the general abstract sense of cohesive $\infty$-toposes.

   The contractibility statement is an easy observation in André’s original article in the context of simplicial Banach spaces. The point of the proof here is to observe that everything goes through in the diffeological $\infty$-groupoid case, too, and that the “naive” contractibility is indeed that as seen by the intrinsic fundamental $\infty$-groupoid functor $\Pi$. I tried to write that out carefully, which maybe makes the proof unduly lengthy, but anyway.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeJan 27th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexhave added the observation that for $\mathfrak{g}$ any $L_\infty$-algebra, the smooth $\infty$-groupoid $\exp(\mathfrak{g})$ is a _concrete object_ (<a href="http://nlab.mathforge.org/nlab/show/smooth+infinity-groupoid#StrucLieAlg">here</a>).

   have added the observation that for $\mathfrak{g}$ any $L_\infty$-algebra, the smooth $\infty$-groupoid $\exp(\mathfrak{g})$ is a concrete object (here).

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeJan 27th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have fully formalized the proposition that for $G \in SmoothMfd \hookrightarrow Smooth \infty Grpd$ a Lie group, the canonical morphism $\theta : G \to \mathbf{\flat}_{dR}\mathbf{B}G$ identifies with the ordinary Maurer-Cartan form of $G$. (This statement itself is in the section <a href="http://nlab.mathforge.org/nlab/show/smooth+infinity-groupoid#CanonicalFormOnLieGroup">The canonical form on a Lie group</a> and relies on previous subsections being linked to from there.)

   I have fully formalized the proposition that for $G \in SmoothMfd \hookrightarrow Smooth \infty Grpd$ a Lie group, the canonical morphism $\theta : G \to \mathbf{\flat}_{dR}\mathbf{B}G$ identifies with the ordinary Maurer-Cartan form of $G$.

   (This statement itself is in the section The canonical form on a Lie group and relies on previous subsections being linked to from there.)

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeJan 31st 2011
   • (edited Jan 31st 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have worked on the section <a href="http://ncatlab.org/nlab/show/smooth+infinity-groupoid#StrucLieAlg">Exponentiated oo-Lie algebras</a>. The materal that the section does contain is (hopefully) somewhat polished and comprehensive now, but there is more material that could/should eventually go here.

   I have worked on the section Exponentiated oo-Lie algebras.

   The materal that the section does contain is (hopefully) somewhat polished and comprehensive now, but there is more material that could/should eventually go here.

8. • CommentRowNumber8.
   • CommentAuthorUrs
   • CommentTimeJan 31st 2011
   • (edited Jan 31st 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have been working on the sections <a href="http://ncatlab.org/nlab/show/smooth+infinity-groupoid#FlatCoeffsForExponentiated">Exponentiated oo-Lie algebra -- flat coefficients</a> and <a href="http://ncatlab.org/nlab/show/smooth+infinity-groupoid#DifferentialCoefficientsOfLieInt">Exponentiated oo-Lie algebra -- de Rham coefficients</a> bringing the discussion of the various presentations of the differential coefficient objcts for the line $n$-group into shape. Using this I have then included the discussion of the universal curvature characteristic on $\mathbf{B}^n U(1)$ in terms of these presentations at <a href="http://ncatlab.org/nlab/show/smooth+infinity-groupoid#CurvatureCharacteristicOnCircleNGroup">Universal curvature characteristic on circle n-group</a> . This culminates in the proof that the universal curvature form is presented by the left top vertical morphism in the double pullback of simplicial presheaves of differential forms whose components over $U \in CartSp$ in degree $[k] \in \Delta$ are indicated here (just for the fun of it): $$ \array{ \left\{ \array{ \Omega^\bullet_{si, vert}(U \times \Delta^k) &\stackrel{A_{vert}}{\leftarrow}& CE(b^{n-1}\mathbb{R}) \\ \uparrow && \uparrow \\ \Omega^\bullet_{si}(U \times \Delta^k) &\stackrel{A}{\leftarrow}& W(b^{n-1}\mathbb{R}) } \right\} &\to& \left\{ \array{ \Omega^\bullet_{si, vert}(U \times \Delta^k) &\stackrel{}{\leftarrow}& W(b^{n-1}\mathbb{R}) \\ \uparrow && \uparrow^{\mathrlap{id}} \\ \Omega^\bullet_{si}(U \times \Delta^k) &\stackrel{}{\leftarrow}& W(b^{n-1} \mathbb{R}) } \right\} \\ \downarrow && \downarrow \\ \left\{ \array{ \Omega^\bullet_{si, vert}(U \times \Delta^k) &\stackrel{0}{\leftarrow}& 0 \\ \uparrow && \uparrow \\ \Omega^\bullet_{si}(U \times \Delta^k) &\stackrel{}{\leftarrow}& CE(b^{n} \mathbb{R}) } \right\} &\to& \left\{ \array{ \Omega^\bullet_{si,vert}(U \times \Delta^k) &\leftarrow& CE(b^{n} \mathbb{R}) \\ \uparrow && \uparrow^{\mathrlap{id}} \\ \Omega^\bullet_{si}(U \times \Delta^k) &\stackrel{}{\leftarrow}& CE(b^{n} \mathbb{R}) } \right\} \\ \downarrow && \downarrow \\ * &\to& \left\{ \array{ \Omega^\bullet_{si,vert}(U \times \Delta^k) &\leftarrow& CE(b^{n} \mathbb{R}) \\ \uparrow && \uparrow \\ \Omega^\bullet_{si}(U \times \Delta^k) &\stackrel{}{\leftarrow}& 0 } \right\} } $$

   I have been working on the sections Exponentiated oo-Lie algebra – flat coefficients and Exponentiated oo-Lie algebra – de Rham coefficients bringing the discussion of the various presentations of the differential coefficient objcts for the line $n$-group into shape.

   Using this I have then included the discussion of the universal curvature characteristic on $\mathbf{B}^n U(1)$ in terms of these presentations at Universal curvature characteristic on circle n-group .

   This culminates in the proof that the universal curvature form is presented by the left top vertical morphism in the double pullback of simplicial presheaves of differential forms whose components over $U \in CartSp$ in degree $[k] \in \Delta$ are indicated here (just for the fun of it):

   $$\array{ \left\{ \array{ \Omega^\bullet_{si, vert}(U \times \Delta^k) &\stackrel{A_{vert}}{\leftarrow}& CE(b^{n-1}\mathbb{R}) \\ \uparrow && \uparrow \\ \Omega^\bullet_{si}(U \times \Delta^k) &\stackrel{A}{\leftarrow}& W(b^{n-1}\mathbb{R}) } \right\} &\to& \left\{ \array{ \Omega^\bullet_{si, vert}(U \times \Delta^k) &\stackrel{}{\leftarrow}& W(b^{n-1}\mathbb{R}) \\ \uparrow && \uparrow^{\mathrlap{id}} \\ \Omega^\bullet_{si}(U \times \Delta^k) &\stackrel{}{\leftarrow}& W(b^{n-1} \mathbb{R}) } \right\} \\ \downarrow && \downarrow \\ \left\{ \array{ \Omega^\bullet_{si, vert}(U \times \Delta^k) &\stackrel{0}{\leftarrow}& 0 \\ \uparrow && \uparrow \\ \Omega^\bullet_{si}(U \times \Delta^k) &\stackrel{}{\leftarrow}& CE(b^{n} \mathbb{R}) } \right\} &\to& \left\{ \array{ \Omega^\bullet_{si,vert}(U \times \Delta^k) &\leftarrow& CE(b^{n} \mathbb{R}) \\ \uparrow && \uparrow^{\mathrlap{id}} \\ \Omega^\bullet_{si}(U \times \Delta^k) &\stackrel{}{\leftarrow}& CE(b^{n} \mathbb{R}) } \right\} \\ \downarrow && \downarrow \\ * &\to& \left\{ \array{ \Omega^\bullet_{si,vert}(U \times \Delta^k) &\leftarrow& CE(b^{n} \mathbb{R}) \\ \uparrow && \uparrow \\ \Omega^\bullet_{si}(U \times \Delta^k) &\stackrel{}{\leftarrow}& 0 } \right\} }$$
9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeFeb 2nd 2011
   • (edited Feb 2nd 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI think I am pretty much through with the section <a href="http://ncatlab.org/nlab/show/smooth+infinity-groupoid#StrucChernWeil">Chern-Weil homomorphism</a> at [[smooth infinity-groupoid]]. I need to add a concluding paragraph to that section, but otherwise I think I will continue further in-depth discussion at the corresponding dedicated entries [[connection on an infinity-bundle]] and [[infinity-Chern-Weil theory]] (which are badly in need of some polishing,, each). So the idea would be that the general abstract structures whose realization in $Smooth \infty Grpd$ I did unwind to this point serve as the basic software library/API for implementations in $Smooth \infty Grpd$ that connect the general abstract templates to some standard routines, but that all further special purpose applications be discussed on their separate pages.

   I think I am pretty much through with the section Chern-Weil homomorphism at smooth infinity-groupoid. I need to add a concluding paragraph to that section, but otherwise I think I will continue further in-depth discussion at the corresponding dedicated entries connection on an infinity-bundle and infinity-Chern-Weil theory (which are badly in need of some polishing,, each).

   So the idea would be that the general abstract structures whose realization in $Smooth \infty Grpd$ I did unwind to this point serve as the basic software library/API for implementations in $Smooth \infty Grpd$ that connect the general abstract templates to some standard routines, but that all further special purpose applications be discussed on their separate pages.

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeFeb 15th 2011
    • (edited Feb 15th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexAt [[smooth infinity-groupoid]] I have made explicit the essential geometric morphism $i : Smooth \infty Grpd \to ETop \infty Grpd$ in a new section <a href="http://ncatlab.org/nlab/show/smooth+infinity-groupoid#RelativeCohesion">Relative cohesion</a>. Then in the section on <a href="http://ncatlab.org/nlab/show/smooth+infinity-groupoid#StrucGeometricHomotopy">Geometric homotopy and Galois theory</a> I have used this to give a more systematic and more comprehensive discussion of the fundamental $\infty$-groupoid functor $\Pi_{Smooth}$ as the composite $\Pi_{ETop} \circ i_!$. At the heart of this is something like a lengthy lemma about essential $\infty$-geometric morphisms induced by certain morphisms of sites. The details for that I have spelled out and polished at [[cohesive infinity-groupoid]] in the section <a href="http://nlab.mathforge.org/nlab/show/cohesive+(infinity%2C1)-topos#properties_156">Infinitesimal cohesion -- Properties</a>. But eventually this should be discussed elsewhere in full generality.

    At smooth infinity-groupoid I have made explicit the essential geometric morphism $i : Smooth \infty Grpd \to ETop \infty Grpd$ in a new section Relative cohesion.

    Then in the section on Geometric homotopy and Galois theory I have used this to give a more systematic and more comprehensive discussion of the fundamental $\infty$-groupoid functor $\Pi_{Smooth}$ as the composite $\Pi_{ETop} \circ i_!$.

    At the heart of this is something like a lengthy lemma about essential $\infty$-geometric morphisms induced by certain morphisms of sites. The details for that I have spelled out and polished at cohesive infinity-groupoid in the section Infinitesimal cohesion – Properties. But eventually this should be discussed elsewhere in full generality.

11. • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 9th 2011
    • (edited Aug 9th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexWith Thomas Nikolaus and Danny Stevenson we are currently working on writing out more explicit models of principal $\infty$-bundles by smooth simplicial principal bundles. As a first little result we have the computation of the canonical form on a smooth $\infty$-group $\theta : G \to \mathbf{\flat}_{dR} \mathbf{B}G$ worked out for the general case that $G$ is presented by a simplicial Lie group. The result I have written up now in the new section [The canonical form on a simplicial Lie group](http://ncatlab.org/nlab/show/smooth+infinity-groupoid+--+structures#CanonicalFormOnSimplicialLieGroup) . The result is what one would hope and expect to see: it is simply a 1-form with values in the simplicial Lie algebra of $G$ which is degreewise the ordinary Maurer-Cartan form. But it is nice to see it drop out from the general machinery.

    With Thomas Nikolaus and Danny Stevenson we are currently working on writing out more explicit models of principal $\infty$-bundles by smooth simplicial principal bundles.

    As a first little result we have the computation of the canonical form on a smooth $\infty$-group $\theta : G \to \mathbf{\flat}_{dR} \mathbf{B}G$ worked out for the general case that $G$ is presented by a simplicial Lie group.

    The result I have written up now in the new section The canonical form on a simplicial Lie group .

    The result is what one would hope and expect to see: it is simply a 1-form with values in the simplicial Lie algebra of $G$ which is degreewise the ordinary Maurer-Cartan form. But it is nice to see it drop out from the general machinery.

12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeApr 14th 2015
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have added pointer to * [[David Carchedi]], _On The Homotopy Type of Higher Orbifolds and Haefliger Classifying Spaces_ ([arXiv:1504.02394](http://arxiv.org/abs/1504.02394)) to various related entries, such as _[[smooth infinity-groupoid]]_, _[[shape modality]]_, _[[Haefliger groupoid]]_.

    I have added pointer to

    • David Carchedi, On The Homotopy Type of Higher Orbifolds and Haefliger Classifying Spaces (arXiv:1504.02394)

    to various related entries, such as smooth infinity-groupoid, shape modality, Haefliger groupoid.

13. • CommentRowNumber13.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 11th 2019
    • PermaLink
    Author: Dmitri Pavlov
    Format: MarkdownItexFixed a redirect. <a href="https://ncatlab.org/nlab/revision/diff/smooth+infinity-groupoid/199">diff</a>, <a href="https://ncatlab.org/nlab/revision/smooth+infinity-groupoid/199">v199</a>, <a href="https://ncatlab.org/nlab/show/smooth+infinity-groupoid">current</a>

    Fixed a redirect.

    diff, v199, current

14. • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 9th 2022
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to * [[Adrian Clough]], *A Convenient Category for Geometric Topology*, PhD thesis, UT Austin (2021) &lbrack;[pdf](https://repositories.lib.utexas.edu/bitstream/handle/2152/114981/CLOUGH-DISSERTATION-2021.pdf)&rbrack; (where smooth $\infty$-groupoids/$\infty$-stacks are called "differentiable stacks"). <a href="https://ncatlab.org/nlab/revision/diff/smooth+infinity-groupoid/202">diff</a>, <a href="https://ncatlab.org/nlab/revision/smooth+infinity-groupoid/202">v202</a>, <a href="https://ncatlab.org/nlab/show/smooth+infinity-groupoid">current</a>

    added pointer to

    • Adrian Clough, A Convenient Category for Geometric Topology, PhD thesis, UT Austin (2021) [pdf]

    (where smooth $\infty$-groupoids/$\infty$-stacks are called “differentiable stacks”).

    diff, v202, current

15. • CommentRowNumber15.
    • CommentAuthorTim_Porter
    • CommentTimeMar 18th 2023
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexFixed typo. <a href="https://ncatlab.org/nlab/revision/diff/smooth+infinity-groupoid/204">diff</a>, <a href="https://ncatlab.org/nlab/revision/smooth+infinity-groupoid/204">v204</a>, <a href="https://ncatlab.org/nlab/show/smooth+infinity-groupoid">current</a>

    Fixed typo.

    diff, v204, current

16. • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeDec 11th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Adrian Clough]], *The Homotopy Theory of Differentiable Sheaves*, [talk at](https://ncatlab.org/nlab/show/CQTS#CloughOct2023) *[Workshop on Homotopy Theory and Applications](https://ncatlab.org/nlab/show/CQTS#WorkshopOnHomotopyTheory2023)*, [[CQTS]] (Oct 2023) &lbrack;video:[YT](https://youtu.be/5NrKo-fPk2A)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/smooth+infinity-groupoid/205">diff</a>, <a href="https://ncatlab.org/nlab/revision/smooth+infinity-groupoid/205">v205</a>, <a href="https://ncatlab.org/nlab/show/smooth+infinity-groupoid">current</a>

    added pointer to:

    • Adrian Clough, The Homotopy Theory of Differentiable Sheaves, talk at Workshop on Homotopy Theory and Applications, CQTS (Oct 2023) [video:YT]

    diff, v205, current