Not signed in (Sign In)

A discussion forum about contributions to the nLab wiki and related areas of mathematics, physics, and philosophy.

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

2-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck 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 infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

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

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).

- Discussion Type
- discussion topicquantization via the A-model
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Jul 22nd 2019

- Discussion Type
- discussion topicD=4 N=2 super Yang-Mills theory
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by Urs
- Last Active Jul 22nd 2019

created stub for

*N=2 D=4 super Yang-Mills theory*…… for the moment mainly such as to be able to make

*Coulomb branch*and*Higgs branch*redirect to it, which are needed at*symplectic duality*

- Discussion Type
- discussion topichomotopy limit
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active Jul 22nd 2019

- Discussion Type
- discussion topicvan Kampen theorem
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by DavidRoberts
- Last Active Jul 22nd 2019

added to van Kampen theorem a clean statement for the group-version

- Discussion Type
- discussion topicD=7 supergravity
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jul 22nd 2019

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 $S^1/\mathbb{Z}_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)

- Discussion Type
- discussion topicStarobinsky model of cosmic inflation
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active Jul 22nd 2019

- Discussion Type
- discussion topic!-modality
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by nLab edit announcer
- Last Active Jul 21st 2019

collected some references on the interpretation of the !-modality as the Fock space construction at

*!-modality*.Cross-linked briefly with he stub entries_Fock space_ and

*second quantization*.

- Discussion Type
- discussion topicgraviphoton
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 21st 2019

- Discussion Type
- discussion topicstructured cospan
- Category Latest Changes
- Started by nLab edit announcer
- Comments 9
- Last comment by Urs
- Last Active Jul 21st 2019

This is my first (substantial) contribution to the nLab, so forgive my likely ineptitude. This wants to be a initial stub, everything is basically scraped from the reference and this post: https://golem.ph.utexas.edu/category/2019/07/structured_cospans.html Clearly a lot of material can be added, included a better definition and clearer examples. It’s also quite necessary to make a page for decorated cospans. I might start it myself later this month.

mattecapu

- Discussion Type
- discussion topicdecorated cospan
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Jul 21st 2019

- Discussion Type
- discussion topicsimplicial homotopy
- Category Latest Changes
- Started by Tim_Porter
- Comments 4
- Last comment by Tobias Fritz
- Last Active Jul 20th 2019

Someone anonymous (probably from Gottingen) had changed simplicial homotopy. The old version seems to have had a different convention on the ordeing of the parts which was not ’wrong’ but was slightly different from some sources. I have added a note to the entry pointing out the existence of different conventions, and have cleaned up the use of $\Delta^n$ instead of the more usual $\Delta[n]$ in that entry.

I checked back in the linked entry simplex, there, and found that the entry was a bit confusing as to the simplicial set $\Delta[n]$. I have altered the structure and wording slightly to clarify things (I hope).

- Discussion Type
- discussion topicRan space
- Category Latest Changes
- Started by DavidRoberts
- Comments 15
- Last comment by nLab edit announcer
- Last Active Jul 19th 2019

I put in a reference to Lurie’s course on Tamagawa numbers at Ran space.

- Discussion Type
- discussion topicentanglement entropy
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 19th 2019

added pointer to today’s

- Matthew Headrick,
*Lectures on entanglement entropy in field theory and holography*(arXiv:1907.08126)

- Matthew Headrick,

- Discussion Type
- discussion topicsemidirect product group
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Jul 19th 2019

- Discussion Type
- discussion topicopen/closed string duality
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Jul 18th 2019

- Discussion Type
- discussion topicessentially algebraic theory
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by David_Corfield
- Last Active Jul 18th 2019

added references to

*essentially algebraic theory*. Also equipped the text with a few more hyperlinks.

- Discussion Type
- discussion topicMealy machine
- Category Latest Changes
- Started by Tim_Porter
- Comments 8
- Last comment by Tim_Porter
- Last Active Jul 18th 2019

Idem for Mealy machines to link with Mealy morphism

- Discussion Type
- discussion topiccoalgebra for an endofunctor
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Tim_Porter
- Last Active Jul 18th 2019

added to coalgebra for an endofunctor the example of the real line as the terminal coalgebra for some endofunctor on Posets.

There are more such characterizations of the real line, and similar. I can't dig them out right now as I am on a shky connection. But maybe somebody else can. Or I'll do it later.

- Discussion Type
- discussion topicDirk Pattinson
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Jul 18th 2019

- Discussion Type
- discussion topicMealy morphism
- Category Latest Changes
- Started by nLab edit announcer
- Comments 8
- Last comment by Tim_Porter
- Last Active Jul 18th 2019

- Discussion Type
- discussion topicMoore machine
- Category Latest Changes
- Started by Tim_Porter
- Comments 2
- Last comment by Tim_Porter
- Last Active Jul 18th 2019

- Discussion Type
- discussion topicGeorge H. Mealy
- Category Latest Changes
- Started by Tim_Porter
- Comments 2
- Last comment by DavidRoberts
- Last Active Jul 18th 2019

- Discussion Type
- discussion topicD=2 N=(2,0) SCFT
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jul 17th 2019

I have finally given the previous stub-entry

*2d (2,0)-superconformal QFT*some genuine content, also added more citations with brief comments on what they are about.Also cross-linked with and added related brief paragraphs to

*Calabi-Yau manifolds and supersymmetry*,*heterotic string*.

- Discussion Type
- discussion topicD=6 supergravity
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 17th 2019

- Discussion Type
- discussion topicAgda
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Urs
- Last Active Jul 17th 2019

- Discussion Type
- discussion topicVan Eric Mayes
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 17th 2019

brief

`category:people`

-entry for hyperlinking references at*intersecting D-brane model*,*Yukawa-couplings*and maybe elsewhere

- Discussion Type
- discussion topicintersecting D-brane model
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Jul 17th 2019

**Edit to**: intersecting D-brane model by Urs Schreiber at 2018-04-01 00:55:01 UTC.**Author comments**:hyperlinked pointer to textbook by Ibanez-Uranga

- Discussion Type
- discussion topicGame theory
- Category Latest Changes
- Started by julesh
- Comments 13
- Last comment by Mike Shulman
- Last Active Jul 16th 2019

In the spirit of yesterday’s discussion about applied topics on the nLab, I have begun creating an article for game theory. The page previously existed just as a list of references, but there doesn’t seem to be an nForum thread about it.

- Discussion Type
- discussion topiccompact closed category
- Category Latest Changes
- Started by Noam_Zeilberger
- Comments 5
- Last comment by nLab edit announcer
- Last Active Jul 16th 2019

I added a note to compact closed category on the fact that the inclusion from compact closed categories into SMCCs has a left adjoint, pointing to an article by Day where he describes the free compact closed category over a closed symmetric monoidal category as a localization. Question: this left adjoint is not full, but I believe it is faithful – does anyone know how to prove that?

- Discussion Type
- discussion topicD=11 N=1 supergravity
- Category Latest Changes
- Started by David_Corfield
- Comments 3
- Last comment by Urs
- Last Active Jul 16th 2019