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 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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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 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
   • CommentTimeOct 19th 2023
   • (edited Oct 19th 2023)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI am preparing an entry for the *[[Encyclopedia of Mathematical Physics 2nd ed]]*: $\,$ * **[[schreiber:Higher Topos Theory in Physics|Higher Topos Theory in Physics]]** $\,$ Early draft now available at that link. Will be presenting this tomorrow at a CQTS-workshop on *[Homotopy Theory and Applications](https://ncatlab.org/nlab/show/Center+for+Quantum+and+Topological+Systems#WorkshopOnHomotopyTheory2023)*. Comments are welcome.

   I am preparing an entry for the Encyclopedia of Mathematical Physics 2nd ed:

   $\,$

   • Higher Topos Theory in Physics

   $\,$

   Early draft now available at that link.

   Will be presenting this tomorrow at a CQTS-workshop on Homotopy Theory and Applications.

   Comments are welcome.

2. • CommentRowNumber2.
   • CommentAuthorDavid_Corfield
   • CommentTimeOct 20th 2023
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexJust a couple of typos for now: > anlogous; Phsyics And you have both 'Snglr' and 'Snglrt'

   Just a couple of typos for now:

   anlogous; Phsyics

   And you have both ’Snglr’ and ’Snglrt’

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeOct 20th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks, fixed now. I want to say $\mathbf{Snglrt}$ for the 2-category of *singulariTies* and $\mathbf{Snglr}\mathbf{H} \coloneqq PSh_\infty(\mathbf{Snglrt, \mathbf{H}})$ for the *singular* version of $\mathbf{H}$.

   Thanks, fixed now.

   I want to say $\mathbf{Snglrt}$ for the 2-category of singulariTies and $\mathbf{Snglr}\mathbf{H} \coloneqq PSh_\infty(\mathbf{Snglrt, \mathbf{H}})$ for the singular version of $\mathbf{H}$.

4. • CommentRowNumber4.
   • CommentAuthorDavid_Corfield
   • CommentTimeOct 20th 2023
   • (edited Oct 20th 2023)
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexSecond column of p.9, should that be $\mathbf{Snglr} \hookrightarrow \mathbf{Grpd}_{\infty}$?

   Second column of p.9, should that be $\mathbf{Snglr} \hookrightarrow \mathbf{Grpd}_{\infty}$?

5. • CommentRowNumber5.
   • CommentAuthorDavid_Corfield
   • CommentTimeOct 20th 2023
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexProbably worth referencing a paper or two of your own, maybe [Proper Orbifold Cohomology](https://ncatlab.org/schreiber/show/Proper+Orbifold+Cohomology).

   Probably worth referencing a paper or two of your own, maybe Proper Orbifold Cohomology.

6. • CommentRowNumber6.
   • CommentAuthorJ-B Vienney
   • CommentTimeOct 20th 2023
   • (edited Oct 20th 2023)
   • PermaLink
   Author: J-B Vienney
   Format: MarkdownItexI love this paper, thank you for writing it. Very helpful to get the main ideas of the field :)

   I love this paper, thank you for writing it. Very helpful to get the main ideas of the field :)

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeOct 20th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks for the feedback. Just tried it as a presentation on an audience of topologists and mathematical physicists, and it seems to work well. Will post the video recording when it becomes available. (And I have added another remark that the document is in preparation and that references are (evidently?! :-) still missing.)

   Thanks for the feedback.

   Just tried it as a presentation on an audience of topologists and mathematical physicists, and it seems to work well. Will post the video recording when it becomes available.

   (And I have added another remark that the document is in preparation and that references are (evidently?! :-) still missing.)

8. • CommentRowNumber8.
   • CommentAuthorDavid_Corfield
   • CommentTimeSep 30th 2024
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexJust saw a typo in (6), $X'$ should be $Y$. Also, > For further introduction to sheaf toposes see e.g. [Schreiber 2018] [Schapira 2023] and looks like 'and' in the wrong place.

   Just saw a typo in (6), $X'$ should be $Y$.

   Also,

   For further introduction to sheaf toposes see e.g. [Schreiber 2018] [Schapira 2023] and

   looks like ’and’ in the wrong place.

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeSep 30th 2024
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks! Fixed now (in the pdf [here](https://ncatlab.org/schreiber/show/Higher+Topos+Theory+in+Physics#download), still waiting for the galley proofs to make corrections there).

   Thanks! Fixed now (in the pdf here, still waiting for the galley proofs to make corrections there).

10. • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 30th 2024
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexA couple more: On p.4 in the line before > In field theory this is the case for (Green-Schwarz type)... presumably the $p$ should be $n+2$ in $\mathbf{\Omega}^p_{dR}$. And there's >wih on p. 10.

    A couple more:

    On p.4 in the line before

    In field theory this is the case for (Green-Schwarz type)…

    presumably the $p$ should be $n+2$ in $\mathbf{\Omega}^p_{dR}$.

    And there’s

    wih

    on p. 10.

11. • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeSep 30th 2024
    • PermaLink
    Author: Urs
    Format: MarkdownItexRight. Thanks again! Fixed now.

    Right. Thanks again! Fixed now.