Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

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 nforum 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

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • Add some links, including seeding a page on synthetic guarded domain theory

      diff, v2, current

    • we were lacking an entry realizability that points to all the related entries (and in fact some entries were asking for just “realizability”).

      So I started one. Put in the following Idea-paragraph:

      The idea of realizability is essentially that of constructivism, intuitionistic mathematics and the propositions as types paradigm: for instance constructively a proof of an existential quantification xXϕ(x) consists of constructing a specific xX and a proof of ϕ(x), which “realizes” the truth of the statement, whence the name (e.g. Vermeeren 09, section 1).

    • Clean up a couple parenthetical remarks. The page ring object seems to indeed have the desired diagrams.

      diff, v42, current

    • I have made some trivial edits to the wording, hoping to make it flow more nicely.

      By the way, this entry is linking (at least now that I adjusted the plural redirect) to recursive function. This is only natural, but – unfortunately – our entry recursive function is empty (and always has been)!

      Much of the material needed there is at partial recursive function. We should either put redirects or (better) add a little bit of content to recursive function.

      diff, v7, current

    • I have added (here) pointer to:

      (This edit prompted by discussion in another thread of the same name: here)

      diff, v6, current

    • I was going to start game semantics to record a couple of references to dependent type theory, but I’m getting an error message at the moment. So I’ll just leave here for now:

      Idea

      In logic, game semantics is used to provide a semantic interpretation of logic constructions in terms of strategies for opposing players to win a game corresponding to some proposition.

      References

      • Wilfred Hodges, 2013, Logic and Games, (SEP)

      For attempts to formulate a game semantics for dependent type theory, see

    • The links to the DMMPS webpage and research page no longer work anymore

      Anonymouse

      diff, v8, current

    • Expanded the entry by more references.

      I have erased two redirects which used to be (probably) in Greek but some nLab upgrade has obliterated the difference between the characters and now it was ????? or alike and the info is lost. If somebody has his Greek spelling can ressurect the redirects. I have now changed the page name to his arXiv spelling and put Ioannis Vlassopoulos as a redirect.

      diff, v5, current

    • Brief category:people-for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting something. Not done yet but need to save

      v1, current

    • added this second-order-quote:


      Chen Ning Yang writes in C. N. Yang, Selected papers, 1945-1980, with commentary, W. H. Freeman and Company, San Francisco, 1983, on p. 567:

      In 1975, impressed with the fact that gauge fields are connections on fiber bundles, I drove to the house of S. S. Chern in El Cerrito, near Berkeley… I said I found it amazing that gauge theory are exactly connections on fiber bundles, which the mathematicians developed without reference to the physical world. I added: “this is both thrilling and puzzling, since you mathematicians dreamed up these concepts out of nowhere.” He immediately protested: “No, no. These concepts were not dreamed up. They were natural and real.”

      diff, v6, current

    • Changed title and links to different convention, see discussion here. Also updated related concepts.

      Edit: I just realized this didn’t work as there are two seperate articles for 4d TQFT and D=4 TQFT.

      v1, current

    • Created a stub page. It would be good to have an explicit definition of wreath on this page, but I don’t have time right now.

      v1, current

    • Changed title and links to different convention, see discussion here.

      diff, v2, current

    • added pointer to today’s

      • Adrien Brochier, David Jordan, Pavel Safronov, Noah Snyder, Invertible braided tensor categories (arXiv:2003.13812)

      diff, v8, current

    • added this pointer:

      • Christian Blanchet, Marco De Renzi, Modular Categories and TQFTs Beyond Semisimplicity (arXiv:2011.12932)

      diff, v9, current

    • gave 2d TQFT a slightly more informative Idea-section, highlighting the difference between the classical strict case classified by Frobenius algebras and the local/extended non-compact case classified by Calabi-Yau objects.

      Added a reference by Abrams as a candidate for a first rigourous proof of the classification result via Frobenius algebras, and added citations for the local case (copied over from TCFT).

    • Changed title and links to different convention, see discussion here. Also updated related concepts.

      diff, v4, current

    • added these pointers

      Discussion of quantum anomaly cancellation and 7d Horava-Witten theory is in

      • {#GherghettaKehagias02} Tony Gherghetta, Alex Kehagias, Anomaly Cancellation in Seven-Dimensional Supergravity with a Boundary, Phys.Rev. D68 (2003), 065019, (arXiv:hep-th/0212060)

      • Spyros D. Avramis, Alex Kehagias, _Gauged D=7 Supergravity on the S1/2 Orbifold (arXiv:hep-th/0407221)

      • T.G. Pugh, Ergin Sezgin, Kellogg Stelle, D=7 / D=6 Heterotic Supergravity with Gauged R-Symmetry (arXiv:1008.0726)

      diff, v10, current

    • changed page name to be in line with more systematic naming convention

      diff, v2, current

    • Added pointer to today’s

      • Guillaume Bossard, Franz Ciceri, Gianluca Inverso, Axel Kleinschmidt, Maximal D=2 supergravities from higher dimensions [arXiv:2309.07232]

      • Guillaume Bossard, Franz Ciceri, Gianluca Inverso, Axel Kleinschmidt, Consistent truncation of eleven-dimensional supergravity on S8×S1 [arXiv:2309.07233]

      diff, v2, current

    • changed page name to make it fit more systematic naming pattern

      diff, v25, current

    • Changed title and links to different convention, see discussion here. Also updated related concepts.

      diff, v3, current

    • I finally realized that this ought to exist. And sure enough, it had been constructed already: the 4d supergravity Lie 2-algebra-extension of the 4d N=2 super-Poincaré super-Lie algebra. I have added a minimum of an Idea-section and pointers to the references.

    • Changed title and links to different convention, see discussion here.

      diff, v37, current

    • summary table, to be !includeed into relevant entries, for purposes of cross-linking

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added a fair bit of content to 7d Chern-Simons theory.

      Of the three examples discussed there, the first two are review. The third is inspired by something I have been talking about with D. Fiorenza, C. Rogers and H. Sati.

    • Changed title and links to different convention, see discussion here. (Unified redirects among articles about Chern-Simons theory in a particular dimension. There are now four for every artile “D=n Chern-Simons theories”, “nd Chern-Simons theory”, “nd Chern-Simons theories”, “n-dimensional Chern-Simons theory” and “n-dimensional Chern-Simons theories”.)

      diff, v3, current

    • Changed title and links to different convention, see discussion here. (Unified redirects among articles about Chern-Simons theory in a particular dimension. There are now four for every artile “D=n Chern-Simons theories”, “nd Chern-Simons theory”, “nd Chern-Simons theories”, “n-dimensional Chern-Simons theory” and “n-dimensional Chern-Simons theories”)

      diff, v6, current

    • Changed title and links to different convention, see discussion here. (Unified redirects among articles about Chern-Simons theory in a particular dimension. There are now four for every artile “D=n Chern-Simons theories”, “nd Chern-Simons theory”, “nd Chern-Simons theories”, “n-dimensional Chern-Simons theory” and “n-dimensional Chern-Simons theories”)

      diff, v7, current

    • Added to fix a dead link.

    • I made a page about the E8 lattice and its application in sphere packing

      Jurre Put

      v1, current

    • a table-for-inclusion, in order to cross-link the relevant entries

      v1, current