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 bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor galois-theory gauge-theory gebra geometric 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 simplicial space spin-geometry stable-homotopy-theory string string-theory 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 topicdecidable equality
- Category Latest Changes
- Started by Mike Shulman
- Comments 5
- Last comment by nLab edit announcer
- Last Active 7 days ago

- Discussion Type
- discussion topicPontrjagin-Thom collapse map
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Christoph Dorn
- Last Active 7 days ago

- Discussion Type
- discussion topicMario Román
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 7 days ago

- Discussion Type
- discussion topicoptic (in computer science)
- Category Latest Changes
- Started by David_Corfield
- Comments 9
- Last comment by nLab edit announcer
- Last Active 7 days ago

- Discussion Type
- discussion topicdependent type theory
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topictype formation
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicfunctional programming
- Category Latest Changes
- Started by AlexisHazell
- Comments 8
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicSimon Thompson
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicType Theory and Functional Programming
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicseparation axioms
- Category Latest Changes
- Started by maxsnew
- Comments 11
- Last comment by Urs
- Last Active 7 days ago

- Discussion Type
- discussion topicCamilo Arias Abad
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 7 days ago

- Discussion Type
- discussion topicJonathan Weinberger
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by nLab edit announcer
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topictransport
- Category Latest Changes
- Started by nLab edit announcer
- Comments 7
- Last comment by Urs
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topicselection monad
- Category Latest Changes
- Started by David_Corfield
- Comments 11
- Last comment by varkor
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topicfirst law of thought
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topicClarence I. Lewis
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topictangle
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 3
- Last comment by Christoph Dorn
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topicstring diagram
- Category Latest Changes
- Started by nLab edit announcer
- Comments 42
- Last comment by Christoph Dorn
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topicsurface diagram
- Category Latest Changes
- Started by Christoph Dorn
- Comments 1
- Last comment by Christoph Dorn
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topicmanifold diagram
- Category Latest Changes
- Started by Christoph Dorn
- Comments 1
- Last comment by Christoph Dorn
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topicframed combinatorial topology
- Category Latest Changes
- Started by Christoph Dorn
- Comments 1
- Last comment by Christoph Dorn
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topicRichard Cartwright
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topicstratified space
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Christoph Dorn
- Last Active Sep 23rd 2022

- Discussion Type
- discussion topicmonoidal symmetric proset
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicgroupoid
- Category Latest Changes
- Started by Urs
- Comments 25
- Last comment by Guest
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicenriched set
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicanalytic function
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicsetoid object
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicdiscrete fibration
- Category Latest Changes
- Started by zskoda
- Comments 9
- Last comment by varkor
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicBeck-Chevalley condition
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by varkor
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicstable equivalence relation
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by nLab edit announcer
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicover category
- Category Latest Changes
- Started by Bubbles
- Comments 52
- Last comment by Urs
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicset theoretic Yang-Baxter equation
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicEmma Previato
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicGeorge Wilson
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicGraeme Segal
- Category Latest Changes
- Started by Andrew Stacey
- Comments 12
- Last comment by zskoda
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topiccomparison lemma
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicArkady Berenstein
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topictransvection
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topiccomputational trilogy
- Category Latest Changes
- Started by Urs
- Comments 56
- Last comment by David_Corfield
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicsymplectic group
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by zskoda
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicquantum adiabatic theorem
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicquantum logic gate
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicquantum circuit diagram
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Sep 22nd 2022

- Discussion Type
- discussion topicpresetoid
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Sep 21st 2022

- Discussion Type
- discussion topicAgda
- Category Latest Changes
- Started by nLab edit announcer
- Comments 12
- Last comment by Urs
- Last Active Sep 21st 2022

- Discussion Type
- discussion topiccubical type theory
- Category Latest Changes
- Started by Urs
- Comments 28
- Last comment by Urs
- Last Active Sep 21st 2022

- Discussion Type
- discussion topicstraightening functor
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 11
- Last comment by Tim_Porter
- Last Active Sep 21st 2022

- Discussion Type
- discussion topiclagrangian submanifold
- Category Latest Changes
- Started by nLab edit announcer
- Comments 9
- Last comment by David_Corfield
- Last Active Sep 21st 2022

- Discussion Type
- discussion topicSergey Slavnov
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Sep 21st 2022

- Discussion Type
- discussion topicIvan Losev
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 20th 2022

- Discussion Type
- discussion topicsymplectic reflection algebra
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 20th 2022

- Discussion Type
- discussion topicsetoid
- Category Latest Changes
- Started by Mike Shulman
- Comments 5
- Last comment by nLab edit announcer
- Last Active Sep 20th 2022

- Discussion Type
- discussion topicmicrolocal category
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by zskoda
- Last Active Sep 20th 2022

- Discussion Type
- discussion topicGromov's non-squeezing theorem
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 20th 2022

- Discussion Type
- discussion topicquotient equivalence relation
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Sep 20th 2022

- Discussion Type
- discussion topicJun Zhang
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Sep 20th 2022

- Discussion Type
- discussion topicmicrolocal analysis
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by zskoda
- Last Active Sep 20th 2022

- Discussion Type
- discussion topicMaslov index
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by zskoda
- Last Active Sep 20th 2022

- Discussion Type
- discussion topicWeinstein symplectic category
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by zskoda
- Last Active Sep 20th 2022