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 topic3-group
- Category Latest Changes
- Started by John Baez
- Comments 3
- Last comment by Richard Williamson
- Last Active Aug 9th 2019

- Discussion Type
- discussion topicquantaloid
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Aug 8th 2019

- Discussion Type
- discussion topicsubstitution
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by atmacen
- Last Active Aug 8th 2019

I started

*substitution*so that the links to it will no longer be gray, but I leave it more than stubby for the moment. I realize that I need to go and grab something to eat before I can do much more work…

- Discussion Type
- discussion topicsemi-holomorphic 4d Chern-Simons theory
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by nLab edit announcer
- Last Active Aug 8th 2019

- Discussion Type
- discussion topicYangian
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by nLab edit announcer
- Last Active Aug 8th 2019

stub for

*Yangian*

- Discussion Type
- discussion topicSamson Sanebildze
- Category Latest Changes
- Started by Tim_Porter
- Comments 3
- Last comment by Tim_Porter
- Last Active Aug 8th 2019

- Discussion Type
- discussion topicManuel Rivera
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Aug 8th 2019

Created a page on Manuel Rivera who has some interesting papers on the cobar construction.

- Discussion Type
- discussion topicconcrete sheaf
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Mike Shulman
- Last Active Aug 8th 2019

expanded concrete sheaf: added the precise definition and some important properties.

- Discussion Type
- discussion topicMakkai duality
- Category Latest Changes
- Started by zskoda
- Comments 4
- Last comment by David_Corfield
- Last Active Aug 8th 2019

Stub Makkai duality, just recording the most basic references so far; linked from Stone duality.

- Discussion Type
- discussion topicpolarization identity
- Category Latest Changes
- Started by TobyBartels
- Comments 3
- Last comment by Mike Shulman
- Last Active Aug 7th 2019

- Discussion Type
- discussion topicKevin Costello
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Aug 7th 2019

- Discussion Type
- discussion topicSearching the nLab
- Category Latest Changes
- Started by nLab edit announcer
- Comments 11
- Last comment by spitters
- Last Active Aug 7th 2019

- Discussion Type
- discussion topicconstructible universe
- Category Latest Changes
- Started by NikolajK
- Comments 7
- Last comment by DavidRoberts
- Last Active Aug 7th 2019

- Discussion Type
- discussion topicAntonio Cegarra
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Aug 7th 2019

- Discussion Type
- discussion topic2-crossed module
- Category Latest Changes
- Started by DavidRoberts
- Comments 2
- Last comment by Tim_Porter
- Last Active Aug 7th 2019

- Discussion Type
- discussion topicsyntax-semantics duality
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Aug 7th 2019

Added Makkai duality as related.

- Discussion Type
- discussion topicMichael Makkai
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Aug 7th 2019

- Discussion Type
- discussion topicHermann Grassmann
- Category Latest Changes
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active Aug 7th 2019

- Discussion Type
- discussion topiclocalic group
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Aug 7th 2019

- Discussion Type
- discussion topicsurjective geometric morphism
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Thomas Holder
- Last Active Aug 6th 2019

at surjective geometric morphism I have spelled out in detail most of the proof of the various equivalent characterizations, and all of the proof of the statement that geometric surjections are comonadic.

- Discussion Type
- discussion topicconvergence space
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Aug 6th 2019

- Discussion Type
- discussion topicEGA
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 2
- Last comment by nLab edit announcer
- Last Active Aug 5th 2019

- Discussion Type
- discussion topicAGT correspondence
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by nLab edit announcer
- Last Active Aug 5th 2019

I have expanded the Idea-section at

*AGT correspondence*, saying more explicitly how this may be thought of as regarding the 6d (2,0)-theory as a “2d SCFT with values in 4d SYM theories” and added pointers to further references (including some reviews).I have similarly expanded/added brief remarks on AGT/generalized S-duality pointing to this at

*6d (2,0)-SCFT – Compactification on Riemann surface*and at*S-duality – for SYM – From compactification*

- Discussion Type
- discussion topicCoulomb branch
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Aug 5th 2019

- Discussion Type
- discussion topicrenormalization group flow
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Aug 5th 2019

- Discussion Type
- discussion topiccoherent topological space > history
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by Mike Shulman
- Last Active Aug 5th 2019

created coherent topological space. Just the definition so far.

- Discussion Type
- discussion topicItaï Ben Yaacov
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Aug 5th 2019

- Discussion Type
- discussion topicHiggs bundle
- Category Latest Changes
- Started by zskoda
- Comments 7
- Last comment by DavidRoberts
- Last Active Aug 4th 2019

- Ludmil Katzarkov, Dmitri Orlov, Tony Pantev,
*Notes on Higgs bundles and D-branes*, (delivered as a lecture by Tony Pantev at winter school at Guanajuato 2013 link) draft pdf

added to references at Higgs bundle.

- Ludmil Katzarkov, Dmitri Orlov, Tony Pantev,

- Discussion Type
- discussion topicMal'cev category
- Category Latest Changes
- Started by Keith Harbaugh
- Comments 1
- Last comment by Keith Harbaugh
- Last Active Aug 4th 2019

- Discussion Type
- discussion topicsmooth set
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 2
- Last comment by Dmitri Pavlov
- Last Active Aug 4th 2019