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 topicMoore space
- Category Latest Changes
- Started by MatanP
- Comments 5
- Last comment by Tim_Porter
- Last Active Apr 5th 2019

I have added some stuff about the consturction and the (fatal) non-functoriality of Moore spaces to Moore space. I know the page doesn’t look so good and the proof is somewhat sloppy, but I would still be happy if someone would take a look.

- Discussion Type
- discussion topicgiant graviton
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 5th 2019

- Discussion Type
- discussion topicgenus of a number field
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by nLab edit announcer
- Last Active Apr 5th 2019

created

*genus of a number field*Added it to the function field analogy –table. Accordig to the footnote on the first page of Mazur-Wiles 83 the definition of this in Weil 39 is the origin of the function field analogy.

- Discussion Type
- discussion topicdyon
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 4th 2019

starting some minimum here , for the moment I just need a place to record references on dyonic membranes…

- Discussion Type
- discussion topicSasakian manifold
- Category Latest Changes
- Started by DavidRoberts
- Comments 7
- Last comment by Urs
- Last Active Apr 4th 2019

Created Sasakian manifold. This seems vaguely related to conifold/$G_2$-manifold stuff, but the state of the art in the Sasakian world seems very much experimental: difficult to find any large families of such structures.

- Discussion Type
- discussion topicRudolf Fritsch
- Category Latest Changes
- Started by Tim_Porter
- Comments 7
- Last comment by Urs
- Last Active Apr 4th 2019

- Discussion Type
- discussion topicHomePage
- Category Latest Changes
- Started by Urs
- Comments 55
- Last comment by David_Corfield
- Last Active Apr 4th 2019

I have added at

*HomePage*in the section*Discussion*a new sentence with a new link:If you do contribute to the nLab, you are strongly encouraged to similarly drop a short note there about what you have done – or maybe just about what you plan to do or even what you would like others to do. See Welcome to the nForum (nlabmeta) for more information.

I had completly forgotton about that page

*Welcome to the nForum (nlabmeta)*. I re-doscivered it only after my recent related comment here.

- Discussion Type
- discussion topicjoin of topological spaces
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Apr 4th 2019

- Discussion Type
- discussion topicUrysohn metrization theorem
- Category Latest Changes
- Started by Todd_Trimble
- Comments 8
- Last comment by Urs
- Last Active Apr 4th 2019

Created a stub for Urysohn metrization theorem.

- Discussion Type
- discussion topicnatural transformation
- Category Latest Changes
- Started by Eric
- Comments 9
- Last comment by Richard Williamson
- Last Active Apr 3rd 2019

Asked a question at natural transformation.

- Discussion Type
- discussion topicUrysohn metrization theorem - main theorem
- Category Latest Changes
- Started by Daniel Luckhardt
- Comments 3
- Last comment by Daniel Luckhardt
- Last Active Apr 3rd 2019

- Discussion Type
- discussion topic(infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Alizter
- Last Active Apr 3rd 2019

I worked on brushing up (infinity,1)-category a little

mostly I added in a section on homotopical categories, using some paragraphs from Andre Joyal's message to the CatTheory mailing list.

in this context I also rearranged the order of the subsections

I removed in the introduction the link to the page "Why (oo,1)-categories" and instead expanded the Idea section a bit.

added a paragraph to the beginning of the subsection on model categories

added the new Dugger/Spivak references on the relation between quasi-cats and SSet-cats (added that also to quasi-category and to relation between quasi-categories and simplicial categories)

- Discussion Type
- discussion topicHarsh Pittie
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 3rd 2019

brief

`category:people`

-entry for hyperlinking references at*special orthogonal group*and*spin group*

- Discussion Type
- discussion topicCayley form
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Urs
- Last Active Apr 3rd 2019

- Discussion Type
- discussion topiccrystalline site
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by IngoBlechschmidt
- Last Active Apr 3rd 2019

have created crystalline site

- Discussion Type
- discussion topicspecial Lagrangian submanifold
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 3rd 2019

- Discussion Type
- discussion topicJake Bian
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 3rd 2019

- Discussion Type
- discussion topicmeter
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active Apr 2nd 2019

- Discussion Type
- discussion topicsecond
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active Apr 2nd 2019

- Discussion Type
- discussion topickilogram
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active Apr 2nd 2019

- Discussion Type
- discussion topicGravitational constant
- Category Latest Changes
- Started by TobyBartels
- Comments 3
- Last comment by DavidRoberts
- Last Active Apr 2nd 2019

Since gravitational constant was there, I wrote in it.

- Discussion Type
- discussion topicMikhail Katz
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by DavidRoberts
- Last Active Apr 2nd 2019

- Discussion Type
- discussion topicphysical unit
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by aleksr
- Last Active Apr 2nd 2019

started some remarks at

*physical unit*. But I really need to stop with that now and do more urgent things…

- Discussion Type
- discussion topicweakly Lindelöf spaces with countably locally finite base are second countable
- Category Latest Changes
- Started by Daniel Luckhardt
- Comments 1
- Last comment by Daniel Luckhardt
- Last Active Apr 2nd 2019

Created in context of topology - global countability axioms

- Discussion Type
- discussion topicseparable metacompact spaces are Lindelöf
- Category Latest Changes
- Started by Daniel Luckhardt
- Comments 1
- Last comment by Daniel Luckhardt
- Last Active Apr 2nd 2019

Created in context of topology - global countability axioms.

- Discussion Type
- discussion topicmetacompact space
- Category Latest Changes
- Started by Daniel Luckhardt
- Comments 2
- Last comment by Daniel Luckhardt
- Last Active Apr 2nd 2019

- Discussion Type
- discussion topicDmitry Vladimirovich Alekseevsky
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 2nd 2019

- Discussion Type
- discussion topicNagata-Smirnov metrization theorem - main theorem
- Category Latest Changes
- Started by Daniel Luckhardt
- Comments 2
- Last comment by Daniel Luckhardt
- Last Active Apr 2nd 2019

- Discussion Type
- discussion topicAlfred Gray
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 2nd 2019

brief

`category:people`

-entry for hyperlinking references at*Sp(n).Sp(1)*

- Discussion Type
- discussion topicweakly Lindelöf topological space
- Category Latest Changes
- Started by Daniel Luckhardt
- Comments 1
- Last comment by Daniel Luckhardt
- Last Active Apr 2nd 2019