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 finite 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 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 topicfree coproduct completion
- Category Latest Changes
- Started by Urs
- Comments 20
- Last comment by varkor
- Last Active Aug 1st 2024

- Discussion Type
- discussion topiclocally presentable category
- Category Latest Changes
- Started by Tobias Fritz
- Comments 20
- Last comment by qschroed
- Last Active Aug 1st 2024

- Discussion Type
- discussion topicMartin Lüscher
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 31st 2024

- Discussion Type
- discussion topicRobert Lee Wilson
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by Urs
- Last Active Jul 31st 2024

- Discussion Type
- discussion topicPhilippe Di Francesco
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by zskoda
- Last Active Jul 31st 2024

- Discussion Type
- discussion topicMach's principle
- Category n-Forum
- Started by Francky5
- Comments 2
- Last comment by Urs
- Last Active Jul 31st 2024

- Discussion Type
- discussion topicDodgson condensation
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Jul 31st 2024

- Discussion Type
- discussion topicmatroid
- Category Latest Changes
- Started by Todd_Trimble
- Comments 22
- Last comment by varkor
- Last Active Jul 31st 2024

- Discussion Type
- discussion topicBoolean algebra
- Category Latest Changes
- Started by Todd_Trimble
- Comments 4
- Last comment by J-B Vienney
- Last Active Jul 31st 2024

- Discussion Type
- discussion topicglobal equivariant homotopy theory
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by nLab edit announcer
- Last Active Jul 30th 2024

- Discussion Type
- discussion topiccoefficient system
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicG-∞-category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by nLab edit announcer
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicindexed tensor product
- Category Latest Changes
- Started by nLab edit announcer
- Comments 0
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicAaron Naber
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicMichael T. Anderson
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicRicci curvature
- Category Latest Changes
- Started by Daniel Luckhardt
- Comments 7
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicgraded monad
- Category Latest Changes
- Started by David_Corfield
- Comments 24
- Last comment by varkor
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicStephen Hawking
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicPenrose singularity theorem
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicHawking radiation
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicGabriel Wong
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicPranjal Nayak
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicD=3 quantum gravity
- Category Latest Changes
- Started by Urs
- Comments 32
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicRozansky-Witten theory
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Jul 30th 2024

- Discussion Type
- discussion topicmath blogs
- Category Latest Changes
- Started by nLab edit announcer
- Comments 6
- Last comment by nLab edit announcer
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicorthogonal factorization system
- Category Latest Changes
- Started by Urs
- Comments 31
- Last comment by varkor
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicpseudomonoid
- Category Latest Changes
- Started by Mike Shulman
- Comments 5
- Last comment by varkor
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicgroup scheme
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicHecke algebra
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicgauge theory
- Category Latest Changes
- Started by nLab edit announcer
- Comments 6
- Last comment by Urs
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicHaag-Kastler axioms
- Category Latest Changes
- Started by TobyBartels
- Comments 14
- Last comment by Urs
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicWightman axioms
- Category Latest Changes
- Started by Ian_Durham
- Comments 7
- Last comment by Urs
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicdescriptive set theory
- Category Latest Changes
- Started by Todd_Trimble
- Comments 12
- Last comment by Urs
- Last Active Jul 29th 2024

- Discussion Type
- discussion topictranscendental number
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicGrothendieck fibration
- Category Latest Changes
- Started by Urs
- Comments 47
- Last comment by Urs
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicDoplicher-Roberts reconstruction theorem
- Category Latest Changes
- Started by John Baez
- Comments 4
- Last comment by Urs
- Last Active Jul 29th 2024

- Discussion Type
- discussion topicchoice operator
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by nLab edit announcer
- Last Active Jul 28th 2024

- Discussion Type
- discussion topiclimit
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by nLab edit announcer
- Last Active Jul 28th 2024

- Discussion Type
- discussion topicETCS plus epsilon
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 28th 2024

- Discussion Type
- discussion topicsupport object
- Category Latest Changes
- Started by nLab edit announcer
- Comments 6
- Last comment by RodMcGuire
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicquantum channel
- Category Latest Changes
- Started by Eric
- Comments 102
- Last comment by Urs
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicclassical mechanics
- Category Latest Changes
- Started by Urs
- Comments 59
- Last comment by Urs
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicgeneral relativity
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Urs
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicJoel David Hamkins
- Category Latest Changes
- Started by Mike Shulman
- Comments 3
- Last comment by Urs
- Last Active Jul 27th 2024

- Discussion Type
- discussion topiccontinuum hypothesis
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by nLab edit announcer
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicprinciple of omniscience
- Category Latest Changes
- Started by Mike Shulman
- Comments 21
- Last comment by nLab edit announcer
- Last Active Jul 27th 2024

- Discussion Type
- discussion topiclimited principle of omniscience
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicweak limited principle of omniscience
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 27th 2024

- Discussion Type
- discussion topiclesser limited principle of omniscience
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 27th 2024

- Discussion Type
- discussion topichigher curvature correction
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active Jul 27th 2024

- Discussion Type
- discussion topiccrystalline differential operator
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicD-module
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicstate on a star-algebra
- Category Latest Changes
- Started by Urs
- Comments 16
- Last comment by Urs
- Last Active Jul 27th 2024

- Discussion Type
- discussion topichomotopy theory and algebraic topology -- references
- Category Latest Changes
- Started by Urs
- Comments 33
- Last comment by Urs
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicGarth Warner
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicsheaf and topos theory
- Category Latest Changes
- Started by DavidRoberts
- Comments 14
- Last comment by Urs
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicGödel's second incompleteness theorem
- Category nLab General Discussions
- Started by Richard Williamson
- Comments 17
- Last comment by varkor
- Last Active Jul 27th 2024

- Discussion Type
- discussion topicbar
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 26th 2024

- Discussion Type
- discussion topicbar induction
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by nLab edit announcer
- Last Active Jul 26th 2024

- Discussion Type
- discussion topictopological quantum computation with anyons -- references
- Category Latest Changes
- Started by Urs
- Comments 38
- Last comment by Urs
- Last Active Jul 26th 2024