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-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory 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 differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus 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 kan lie lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory 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 topichigher category theory
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by David_Corfield
- Last Active 5 days ago

started to (re)structure the entry higher category theory roughly along the lines of the new structure at category theory. But for the moment many sections just contain link lists.

- Discussion Type
- discussion topicAdS-QCD correspondence
- Category Latest Changes
- Started by Urs
- Comments 35
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicdisjunction
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active 5 days ago

- Discussion Type
- discussion topicOri Ganor
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 5 days ago

brief

`category:people`

-entry for hyperlinking references at*small instanton*

- Discussion Type
- discussion topicStarobinsky model of cosmic inflation
- Category Latest Changes
- Started by Urs
- Comments 16
- Last comment by Urs
- Last Active 5 days ago

- Discussion Type
- discussion topicPeter Webb
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active 5 days ago

- Discussion Type
- discussion topicregular coverage
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active 5 days ago

Removed redirect for regular topology to go here, as it was also being redirected to regular space.

- Discussion Type
- discussion topiccoherent coverage
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active 5 days ago

It turns out regular topology links to the topological notion, not the site notion (that’s regular coverage). There’s also some kind of redirect clash at the former.

- Discussion Type
- discussion topiccoherent category
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by DavidRoberts
- Last Active 5 days ago

added to

*coherent category*a brief section*Subobjects, slices and internal logic*.

- Discussion Type
- discussion topicInfinity-Grpd
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by Urs
- Last Active 6 days ago

- Discussion Type
- discussion topicKähler potential
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 6 days ago

- Discussion Type
- discussion topicelementary (infinity,1)-topos
- Category Latest Changes
- Started by David_Corfield
- Comments 69
- Last comment by spitters
- Last Active 6 days ago

I added the reference

- Nima Rasekh,
*A Theory of Elementary Higher Toposes*, (arXiv:1805.03805)

- Nima Rasekh,

- Discussion Type
- discussion topicholography as Koszul duality
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active 6 days ago

- Discussion Type
- discussion topicgraph of groups
- Category Latest Changes
- Started by Tim_Porter
- Comments 2
- Last comment by Tim_Porter
- Last Active 7 days ago

THis is a stub to complete a link on complexes of groups.

- Discussion Type
- discussion topicJonathan M. Corson
- Category Latest Changes
- Started by Tim_Porter
- Comments 2
- Last comment by Tim_Porter
- Last Active 7 days ago

- Discussion Type
- discussion topicIKKT matrix model
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active 7 days ago

created a brief entry

*IKKT matrix model*to record some references. Cross-linked with*string field theory*, and with*BFSS matrix model*

- Discussion Type
- discussion topicuniversal spacetime
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 7 days ago

added pointer to the first known examples:

Daniele Amati, Ctirad Klimčík,

*Nonperturbative computation of the Weyl anomaly for a class of nontrivial backgrounds*, Phys. Lett. B, 219:443–447, 1989 (spire:269390, 10.1016/0370-2693(89)91092-7)Gary Horowitz, Alan R. Steif,

*Spacetime singularities in string theory*, Phys. Rev. Lett. 64, 260 1990 (doi:10.1103/PhysRevLett.64.260)

- Discussion Type
- discussion topicM5-brane
- Category Latest Changes
- Started by Urs
- Comments 18
- Last comment by Urs
- Last Active 7 days ago

I have added to

*M5-brane*a fairly detailed discussion of the issue with the fractional quadratic form on differential cohomology for the dual 7d-Chern-Simons theory action (from Witten (1996) with help of Hopkins-Singer (2005)).In the new section

*Conformal blocks and 7d Chern-Simons dual*.

- Discussion Type
- discussion topicpolynomial (∞,1)-functor
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 1
- Last comment by Dmitri Pavlov
- Last Active 7 days ago

- Discussion Type
- discussion topicovert space
- Category Latest Changes
- Started by Mike Shulman
- Comments 8
- Last comment by Todd_Trimble
- Last Active 7 days ago

At overt space there was a remark that since the definition quantifies over “spaces”, the overtness of a single space might depend on the general meaning chosen for “space”, but that no example was known to the author. I added an example involving synthetic topology, which may not be quite what the author of that remark was thinking of, but which I think is interesting.

- Discussion Type
- discussion topicHyman Bass
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active 7 days ago

- Discussion Type
- discussion topicWitten's Dark Fantasy
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 7 days ago

am finally splitting this off as a stand-alone page (material used to be at

*cosmological constant*and at*F-theory*). Added a paragraph linking with*inhomogeneous cosmology*.

- Discussion Type
- discussion topicVerdier duality
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by nLab edit announcer
- Last Active 7 days ago

added some actual text to

*Verdier duality*(in the Idea-section). But it’s no really good yet. More later…

- Discussion Type
- discussion topicD5-D9-brane bound state
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 7 days ago

One more in the series of Dp-D(p plus 4)-brane bound states, this one relating to

*small instantons*

- Discussion Type
- discussion topicperverse sheaf
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Marc
- Last Active 7 days ago

added to

*perverse sheaf*a paragraph on the issue with and the origin of the terminology, here.

- Discussion Type
- discussion topicstandard model of cosmology
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Feb 18th 2020

added this, under References – Review:

- V.F. Mukhanov,
*Quantum Universe*, Phys.Usp. 59 (2016) no.10, 1021-1027 (spire:1507528, doi:10.3367/UFNe.2016.07.037857)

In March 2013, following an accurate processing of available measurement data, the Planck Scientific Collaboration published the highest-resolution photograph ever of the early Universe when it was only a few hundred thousand years old. The photograph showed galactic seeds in sufficient detail to test some nontrivial theoretical predictions made more than thirty years ago. Most amazing was that all predictions were confirmed to be remarkably accurate. With no exaggeration, we may consider it established experimentally that quantum physics, which is normally assumed to be relevant on the atomic and subatomic scale, also works on the scale of the entire Universe, determining its structure with all its galaxies, stars, and planets.

- V.F. Mukhanov,

- Discussion Type
- discussion topicMonster vertex operator algebra
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Feb 18th 2020

added pointer to

*automorphisms of a super vertex operator algebra*and to- Robert Griess Jr., Ching Hung Lam,
*A new existence proof of the Monster by VOA theory*(arXiv:1103.1414)

- Robert Griess Jr., Ching Hung Lam,

- Discussion Type
- discussion topicfluid/gravity correspondence
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Feb 18th 2020

- Discussion Type
- discussion topicinelastic scattering
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Feb 18th 2020

- Discussion Type
- discussion topicplasmon
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Feb 18th 2020