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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad 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 set set-theory sheaf 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 topicQuestion about statement in String Theory FAQ
- Category Mathematics, Physics & Philosophy
- Started by blumpylumpy
- Comments 2
- Last comment by Urs
- Last Active Jan 20th 2015

- Discussion Type
- discussion topicModel structure inside a quasicategory
- Category Mathematics, Physics & Philosophy
- Started by Fosco
- Comments 14
- Last comment by amg
- Last Active Jan 19th 2015

- Discussion Type
- discussion topicrelation between type theory and topology
- Category Latest Changes
- Started by David_Corfield
- Comments 3
- Last comment by spitters
- Last Active Jan 19th 2015

- Discussion Type
- discussion topicdefinite forms, their elementary axiomatization and terminology
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 18th 2015

- Discussion Type
- discussion topicdescent spectral sequence
- Category Latest Changes
- Started by Jon Beardsley
- Comments 1
- Last comment by Jon Beardsley
- Last Active Jan 16th 2015

- Discussion Type
- discussion topicHarmonic Analysis
- Category Latest Changes
- Started by trent
- Comments 3
- Last comment by trent
- Last Active Jan 15th 2015

- Discussion Type
- discussion topic[[atom]]
- Category Latest Changes
- Started by RodMcGuire
- Comments 3
- Last comment by RodMcGuire
- Last Active Jan 15th 2015

- Discussion Type
- discussion topicforming types of maps, internally and externally
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Jan 15th 2015

- Discussion Type
- discussion topicspectral sequence of a filtered stable homotopy type
- Category Latest Changes
- Started by Urs
- Comments 32
- Last comment by Urs
- Last Active Jan 15th 2015

- Discussion Type
- discussion topicgeneralized Eilenberg-MacLane spectrum
- Category Latest Changes
- Started by Mike Shulman
- Comments 2
- Last comment by Urs
- Last Active Jan 15th 2015

- Discussion Type
- discussion topicbounded chain complexes and chain complexes
- Category nLab General Discussions
- Started by Tim_Porter
- Comments 4
- Last comment by Mike Shulman
- Last Active Jan 15th 2015

- Discussion Type
- discussion topicMorava paper
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 3
- Last comment by Fosco
- Last Active Jan 14th 2015

- Discussion Type
- discussion topicgeneralized global analytic geometry
- Category Latest Changes
- Started by fpaugam
- Comments 1
- Last comment by fpaugam
- Last Active Jan 13th 2015

- Discussion Type
- discussion topicdiscrete and concrete objects - contents
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Jan 13th 2015

- Discussion Type
- discussion topicpropositional extensionality
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 19
- Last comment by Mike Shulman
- Last Active Jan 10th 2015

- Discussion Type
- discussion topicarithmetic geometry
- Category Latest Changes
- Started by trent
- Comments 2
- Last comment by Tim_Porter
- Last Active Jan 9th 2015

- Discussion Type
- discussion topicsubstitution under modal operators
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 59
- Last comment by Urs
- Last Active Jan 9th 2015

- Discussion Type
- discussion topichomotopy pullback square of effective epis is homotopy pushout?
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Jan 8th 2015

- Discussion Type
- discussion topicPythagorean theorem
- Category Latest Changes
- Started by Todd_Trimble
- Comments 11
- Last comment by SridharRamesh
- Last Active Jan 6th 2015

- Discussion Type
- discussion topicsemi-topological K-theory
- Category Latest Changes
- Started by adeelkh
- Comments 3
- Last comment by adeelkh
- Last Active Jan 6th 2015

- Discussion Type
- discussion topicsymplectic spinors and metaplectic quantization
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 5th 2015

- Discussion Type
- discussion topicEuclidean-, Riemannian-, Kleinian-, Cartanian-geometry
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Todd_Trimble
- Last Active Jan 4th 2015

- Discussion Type
- discussion topicmetaphysics
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 4th 2015

- Discussion Type
- discussion topicconic section
- Category Latest Changes
- Started by Todd_Trimble
- Comments 2
- Last comment by Urs
- Last Active Jan 3rd 2015

- Discussion Type
- discussion topicpolynomial ring, rational function, projective line
- Category Latest Changes
- Started by Todd_Trimble
- Comments 5
- Last comment by Todd_Trimble
- Last Active Jan 3rd 2015

- Discussion Type
- discussion topicmetaplectic group
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Jan 2nd 2015

- Discussion Type
- discussion topicidentities among relations
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Jan 2nd 2015

- Discussion Type
- discussion topicBorel model structure
- Category nLab General Discussions
- Started by Urs
- Comments 3
- Last comment by Mike Shulman
- Last Active Jan 2nd 2015

- Discussion Type
- discussion topicquadratic Hamiltonian
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 2nd 2015

- Discussion Type
- discussion topicextended affine symplectic group
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 1st 2015

- Discussion Type
- discussion topicmaximal torus
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Todd_Trimble
- Last Active Jan 1st 2015

- Discussion Type
- discussion topicn-categorification
- Category Mathematics, Physics & Philosophy
- Started by sanath
- Comments 19
- Last comment by Mike Shulman
- Last Active Jan 1st 2015

- Discussion Type
- discussion topiccanonical framing of differentially cohesive infinity-groups
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Dec 30th 2014

- Discussion Type
- discussion topicmodel theory and physics
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by trent
- Last Active Dec 30th 2014

- Discussion Type
- discussion topicMark Lawson
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Dec 28th 2014

- Discussion Type
- discussion topic127.0.0.1
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Dec 28th 2014

- Discussion Type
- discussion topicVictor Snaith, algebraic cobordism
- Category Latest Changes
- Started by zskoda
- Comments 7
- Last comment by adeelkh
- Last Active Dec 27th 2014

- Discussion Type
- discussion topiceffective étale stacks, pseudogroups, orbifolds, etc.
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Dec 27th 2014

- Discussion Type
- discussion topicaction
- Category Latest Changes
- Started by RodMcGuire
- Comments 7
- Last comment by Urs
- Last Active Dec 27th 2014

- Discussion Type
- discussion topicAre (enriched) categories algebraic over graphs?
- Category nLab General Discussions
- Started by Dmitri Pavlov
- Comments 2
- Last comment by Zhen Lin
- Last Active Dec 27th 2014

- Discussion Type
- discussion topicGrothendieck-Teichmüller+tower
- Category Latest Changes
- Started by zskoda
- Comments 3
- Last comment by zskoda
- Last Active Dec 26th 2014

- Discussion Type
- discussion topicParametricity Theorem
- Category nLab
- Started by vpatryshev
- Comments 3
- Last comment by vpatryshev
- Last Active Dec 23rd 2014

- Discussion Type
- discussion topicepi (co?)subobjects and graphs or actions
- Category Mathematics, Physics & Philosophy
- Started by RodMcGuire
- Comments 5
- Last comment by DavidRoberts
- Last Active Dec 23rd 2014

- Discussion Type
- discussion topicEvery atomistic lattice is co-brouwerian
- Category nLab General Discussions
- Started by porton
- Comments 3
- Last comment by porton
- Last Active Dec 23rd 2014

- Discussion Type
- discussion topicframe bundle
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 22nd 2014

- Discussion Type
- discussion topicvariant notion of totality?
- Category nLab General Discussions
- Started by Todd_Trimble
- Comments 2
- Last comment by Mike Shulman
- Last Active Dec 22nd 2014

- Discussion Type
- discussion topicflag variety
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by zskoda
- Last Active Dec 19th 2014

- Discussion Type
- discussion topicrevision not showing
- Category nLab Technical Matters
- Started by David_Corfield
- Comments 3
- Last comment by adeelkh
- Last Active Dec 19th 2014

- Discussion Type
- discussion topicStabilizer subgroup
- Category Latest Changes
- Started by Tim_Porter
- Comments 24
- Last comment by Urs
- Last Active Dec 18th 2014

- Discussion Type
- discussion topicQuality type
- Category Latest Changes
- Started by Tim_Porter
- Comments 2
- Last comment by Thomas Holder
- Last Active Dec 17th 2014

- Discussion Type
- discussion topicServer changes
- Category nLab Technical Matters
- Started by adeelkh
- Comments 1
- Last comment by adeelkh
- Last Active Dec 15th 2014

- Discussion Type
- discussion topicdefinition of transgressive elements in de Rham cohomology
- Category nLab
- Started by joe.hannon
- Comments 3
- Last comment by Urs
- Last Active Dec 14th 2014

- Discussion Type
- discussion topicLazy computation
- Category nLab General Discussions
- Started by mikestay
- Comments 1
- Last comment by mikestay
- Last Active Dec 14th 2014

- Discussion Type
- discussion topicinfinity-stack valued in an arbitrary infinity-category
- Category nLab General Discussions
- Started by adeelkh
- Comments 21
- Last comment by Marc Hoyois
- Last Active Dec 13th 2014

- Discussion Type
- discussion topicHomotopy limits of simplicial diagrams
- Category nLab General Discussions
- Started by Dmitri Pavlov
- Comments 3
- Last comment by Dmitri Pavlov
- Last Active Dec 12th 2014

- Discussion Type
- discussion topicfinite fields as prime geodesics, not as knots
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 12
- Last comment by David_Corfield
- Last Active Dec 12th 2014

- Discussion Type
- discussion topic502 Bad Gateway
- Category nLab
- Started by David_Corfield
- Comments 4
- Last comment by David_Corfield
- Last Active Dec 12th 2014

- Discussion Type
- discussion topicSelberg zeta function
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Dec 11th 2014

- Discussion Type
- discussion topicprime geodesic
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 10th 2014

- Discussion Type
- discussion topicbook on philosophy of math
- Category Mathematics, Physics & Philosophy
- Started by zskoda
- Comments 42
- Last comment by trent
- Last Active Dec 10th 2014