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 combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus 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 integration integration-theory k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories newpage 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 topiceternal inflation
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Mar 22nd 2019

finally splitting this off from

*chaotic inflation*(which is dead)

- Discussion Type
- discussion topicWilliam Kinney
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Mar 22nd 2019

brief

`category:people`

-entry for hyperlinking references at*Starobisnky model of cosmic inflation*and*eternal inflation*

- Discussion Type
- discussion topicDamien Calaque
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Mar 22nd 2019

- Discussion Type
- discussion topicClaudia Scheimbauer
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Mar 22nd 2019

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

- Discussion Type
- discussion topicfactorization homology
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Tim_Porter
- Last Active Mar 22nd 2019

created a stub for John Francis’ notion of

*factorization homology*.

- Discussion Type
- discussion topicdirect sum of vector bundles
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Mar 22nd 2019

We didn’t have an entry direct sum of vector bundles/Whiney sum, did we? Now we do.

- Discussion Type
- discussion topicquotient object
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Mar 22nd 2019

hyperlinked occurence of “effective quotient” to

*effective group action*, and added cross-link back

- Discussion Type
- discussion topicorbifold
- Category Latest Changes
- Started by Urs
- Comments 26
- Last comment by Urs
- Last Active Mar 22nd 2019

I am moving the following old query box exchange from orbifold to here.

old query box discussion:

I am confused by this page. It starts out by boldly declaring that “An orbifold is a differentiable stack which may be presented by a proper étale Lie groupoid” but then it goes on to talk about the “traditional” definition. The traditional definition definitely

**does not**view orbifolds as stacks. Neither does Moerdijk’s paper referenced below — there orbifolds form a 1-category.Personally I am not completely convinced that orbifolds are differentiable stacks. Would it not be better to start out by saying that there is no consensus on what orbifolds “really are” and lay out three points of view: traditional, Moerdijk’s “orbifolds as groupoids” (called “modern” by Adem and Ruan in their book) and orbifolds as stacks?

Urs Schreiber: please, go ahead. It would be appreciated.

end of old query box discussion

- Discussion Type
- discussion topiceffective action
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Mar 22nd 2019

- Discussion Type
- discussion topiceffective group action
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Mar 22nd 2019

- Discussion Type
- discussion topicgraded modality
- Category Latest Changes
- Started by David_Corfield
- Comments 8
- Last comment by nLab edit announcer
- Last Active Mar 21st 2019

At our workshop yesterday we heard Dominic Orchard speak about “Graded Modal Logic for Linear Dependent Type Theory”/ So I’ve started graded modality.

Now any connection to Licata-Shulman-Riley?

- Discussion Type
- discussion topicquaternionic manifold
- Category Latest Changes
- Started by James Francese
- Comments 7
- Last comment by James Francese
- Last Active Mar 21st 2019

- Discussion Type
- discussion topicC-field tadpole cancellation
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Mar 21st 2019

starting something here. For the moment this is just the list of references which I had previously recorded at

*RR-field tadpole cancellation*, now joined by a quick Idea-sentence and a minimal statement of the actual cancellation condition

- Discussion Type
- discussion topicEinstein manifold
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Mar 21st 2019

created

*Einstein manifold*(for the moment only to record the example of weak $G_2$-manifolds…)

- Discussion Type
- discussion topicMisha Verbitsky
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Mar 21st 2019

brief

`category:people`

-entry for hyperlinking references at*quaternion-Kähler manifold*

- Discussion Type
- discussion topicLHCb experiment
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Mar 21st 2019

some minimum, just so to have a canonical place for linking references jointly from

*LHC*and*flavour anomaly*

- Discussion Type
- discussion topicAn Huang
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Mar 21st 2019

brief

`category:people`

-entry for hyperlinking references at*p-adic string theory*and*Riemann zeta function*

- Discussion Type
- discussion topicBogdan Stoica
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Mar 21st 2019

brief

`category:people`

-entry for hyperlinking references at*p-adic string theory*and*Riemann zeta function*

- Discussion Type
- discussion topicfinal (infinity,1)-functor
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Mar 21st 2019

- Discussion Type
- discussion topicGUT
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Mar 21st 2019

**Edit to**: GUT by Urs Schreiber at 2018-04-01 01:21:13 UTC.**Author comments**:added pointer to textbook account

- Discussion Type
- discussion topicJ-homomorphism
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Urs
- Last Active Mar 21st 2019

added the plain traditional definition to

*J-homomorphism*

- Discussion Type
- discussion topiclattice gauge theory
- Category Latest Changes
- Started by Tim_Porter
- Comments 4
- Last comment by Urs
- Last Active Mar 21st 2019

- Discussion Type
- discussion topicdifferentiable manifold
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by James Francese
- Last Active Mar 20th 2019

I have re-written the content at

*differentiable manifold*, trying to make it look a little nicer. Also gave*topological manifold*some minimum of content.

- Discussion Type
- discussion topicSpin(5)
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Mar 20th 2019

- Discussion Type
- discussion topicHiggs field
- Category Latest Changes
- Started by Urs
- Comments 20
- Last comment by Urs
- Last Active Mar 20th 2019

added a brief historical comment to

*Higgs field*and added the historical references

- Discussion Type
- discussion topicglobular set
- Category Latest Changes
- Started by Stephan A Spahn
- Comments 10
- Last comment by Dmitri Pavlov
- Last Active Mar 19th 2019

I added a reference to globular set.

- Discussion Type
- discussion topicBaire lattice
- Category Latest Changes
- Started by Daniel Luckhardt
- Comments 2
- Last comment by Daniel Luckhardt
- Last Active Mar 19th 2019

- Discussion Type
- discussion topiclandscape of string theory vacua
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Mar 19th 2019

I am starting landscape of string theory vacua -- hah! :-)

- Discussion Type
- discussion topicweak gravity conjecture
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Mar 19th 2019

started some minimum at

*weak gravity conjecture*