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 categorical categories category category-theory chern-weil-theory cohesion 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 digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry 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 lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum 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 set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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 topicU-duality -- table
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active May 17th 2014

- Discussion Type
- discussion topic"substitution is pullback"
- Category nLab Technical Matters
- Started by Todd_Trimble
- Comments 6
- Last comment by Urs
- Last Active May 17th 2014

- Discussion Type
- discussion topicSuperscript numeral linking to footnote not shown when page is included in another page
- Category nLab Technical Matters
- Started by AlexisHazell
- Comments 6
- Last comment by Urs
- Last Active May 17th 2014

- Discussion Type
- discussion topicgorups and gorupoids
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active May 17th 2014

- Discussion Type
- discussion topicF/M-theory on elliptically fibered Calabi-Yau 4-folds
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 16th 2014

- Discussion Type
- discussion topicmoduli of higher lines -- table
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 16th 2014

- Discussion Type
- discussion topicholomorphic Chern-Simons theory
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active May 15th 2014

- Discussion Type
- discussion topic3d supergravity
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 14th 2014

- Discussion Type
- discussion topiccubical structure in M-theory
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active May 13th 2014

- Discussion Type
- discussion topicguide to nc algebraic geometry literature
- Category Latest Changes
- Started by adeelkh
- Comments 13
- Last comment by Urs
- Last Active May 13th 2014

- Discussion Type
- discussion topicinstanton
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active May 12th 2014

- Discussion Type
- discussion topicHigher comonoids
- Category Mathematics, Physics & Philosophy
- Started by Jon Beardsley
- Comments 3
- Last comment by Jon Beardsley
- Last Active May 10th 2014

- Discussion Type
- discussion topiccubical structure on a complex line bundle
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active May 9th 2014

- Discussion Type
- discussion topicwhich is the right definition of étale morphism?
- Category nLab
- Started by joe.hannon
- Comments 4
- Last comment by joe.hannon
- Last Active May 9th 2014

- Discussion Type
- discussion topicStandard conjectures on algebraic cycles references.
- Category nLab
- Started by MateoC
- Comments 2
- Last comment by Urs
- Last Active May 8th 2014

- Discussion Type
- discussion topicNilpotent ideal
- Category Latest Changes
- Started by Colin Tan
- Comments 5
- Last comment by Colin Tan
- Last Active May 8th 2014

- Discussion Type
- discussion topicMizar
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 8th 2014

- Discussion Type
- discussion topicQuillen
- Category Mathematics, Physics & Philosophy
- Started by zskoda
- Comments 2
- Last comment by adeelkh
- Last Active May 7th 2014

- Discussion Type
- discussion topic$t$-structures as factorization systems in a stable $\infty$-category
- Category Mathematics, Physics & Philosophy
- Started by Fosco
- Comments 4
- Last comment by Fosco
- Last Active May 7th 2014

- Discussion Type
- discussion topicExterior Differentiability
- Category Mathematics, Physics & Philosophy
- Started by StevenGubkin
- Comments 2
- Last comment by Mike Shulman
- Last Active May 6th 2014

- Discussion Type
- discussion topicforcing in homotopy type theory
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Jon Beardsley
- Last Active May 4th 2014

- Discussion Type
- discussion topic(Co-)Homology QFTs?
- Category Latest Changes
- Started by sanath
- Comments 5
- Last comment by Urs
- Last Active May 3rd 2014

- Discussion Type
- discussion topicHomotopy quantum field theories and String Connections
- Category Mathematics, Physics & Philosophy
- Started by sanath
- Comments 7
- Last comment by Urs
- Last Active May 3rd 2014

- Discussion Type
- discussion topichomtopytypetheory:model of type theory in an (infinity,1)-topos
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 3rd 2014

- Discussion Type
- discussion topictau-function, Hirota
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active May 3rd 2014

- Discussion Type
- discussion topicSimplicial objects are enriched over sSet
- Category nLab General Discussions
- Started by adeelkh
- Comments 3
- Last comment by adeelkh
- Last Active May 2nd 2014

- Discussion Type
- discussion topicElf, Twelf, Drölf
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active May 2nd 2014

- Discussion Type
- discussion topicNew page: Automaton
- Category Latest Changes
- Started by Stephen Britton
- Comments 4
- Last comment by Noam_Zeilberger
- Last Active May 2nd 2014

- Discussion Type
- discussion topiccohomological field theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 2nd 2014

- Discussion Type
- discussion topicLeech lattice
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 1st 2014

- Discussion Type
- discussion topicLong March
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active May 1st 2014

- Discussion Type
- discussion topiccomplex cogerm forms
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active Apr 30th 2014

- Discussion Type
- discussion topicNew redirection bug
- Category nLab Technical Matters
- Started by TobyBartels
- Comments 7
- Last comment by TobyBartels
- Last Active Apr 30th 2014

- Discussion Type
- discussion topiccontinued fraction
- Category Latest Changes
- Started by Todd_Trimble
- Comments 33
- Last comment by Noam_Zeilberger
- Last Active Apr 30th 2014

- Discussion Type
- discussion topicWhy should one study higher category theory from a physics perspective?
- Category Mathematics, Physics & Philosophy
- Started by sure
- Comments 13
- Last comment by sanath
- Last Active Apr 30th 2014

- Discussion Type
- discussion topiccomparison map between algebraic and topological K-theory
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Apr 29th 2014

- Discussion Type
- discussion topicmultivariable differentiability
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 16
- Last comment by TobyBartels
- Last Active Apr 28th 2014

- Discussion Type
- discussion topicČech model structure on simplicial presheaves
- Category Latest Changes
- Started by Zhen Lin
- Comments 2
- Last comment by Urs
- Last Active Apr 26th 2014

- Discussion Type
- discussion topicsmooth spectrum
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Apr 26th 2014

- Discussion Type
- discussion topicM-complete category
- Category Mathematics, Physics & Philosophy
- Started by Fosco
- Comments 14
- Last comment by Mike Shulman
- Last Active Apr 25th 2014

- Discussion Type
- discussion topicSO orientation of elliptic cohomology
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Apr 24th 2014

- Discussion Type
- discussion topicreal-oriented cohomology theory
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 23rd 2014

- Discussion Type
- discussion topicindex
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Apr 22nd 2014

- Discussion Type
- discussion topiccongruence subgroup
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 22nd 2014

- Discussion Type
- discussion topicquery at contravariant functor
- Category Latest Changes
- Started by Tim_Porter
- Comments 3
- Last comment by Zhen Lin
- Last Active Apr 21st 2014

- Discussion Type
- discussion topicFermat's little theorem
- Category Latest Changes
- Started by Colin Tan
- Comments 6
- Last comment by Colin Tan
- Last Active Apr 21st 2014

- Discussion Type
- discussion topicbinomial theorem
- Category Latest Changes
- Started by Todd_Trimble
- Comments 3
- Last comment by Todd_Trimble
- Last Active Apr 20th 2014

- Discussion Type
- discussion topicvon Neumann algebras
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 37
- Last comment by Todd_Trimble
- Last Active Apr 20th 2014

- Discussion Type
- discussion topicClosed Category, Category of V-enriched Categories
- Category Latest Changes
- Started by Vladimir_Sotirov
- Comments 6
- Last comment by Vladimir_Sotirov
- Last Active Apr 19th 2014

- Discussion Type
- discussion topicsomething about profinite groups
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 3
- Last comment by Tim_Porter
- Last Active Apr 18th 2014

- Discussion Type
- discussion topicString theory and the real world
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 18th 2014

- Discussion Type
- discussion topicSimpson's conjecture
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 16th 2014

- Discussion Type
- discussion topicEilenberg-MacLane object
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Apr 16th 2014

- Discussion Type
- discussion topichigher approximations of "stable cohomology"
- Category Mathematics, Physics & Philosophy
- Started by Jon Beardsley
- Comments 9
- Last comment by David_Corfield
- Last Active Apr 16th 2014

- Discussion Type
- discussion topicInternal non-discrete fibrations
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 9
- Last comment by Mike Shulman
- Last Active Apr 16th 2014

- Discussion Type
- discussion topicsomewhat vague
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 2
- Last comment by Urs
- Last Active Apr 15th 2014

- Discussion Type
- discussion topicequivariant homotopy theory -- table
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Apr 14th 2014

- Discussion Type
- discussion topicglobal orbit catgegory / global equivariant indexing category
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 14th 2014

- Discussion Type
- discussion topicequivariant spectrum
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Apr 13th 2014

- Discussion Type
- discussion topicG-space
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 13th 2014