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 beauty 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 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-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 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 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 topicdominance
- Category Latest Changes
- Started by Mike Shulman
- Comments 9
- Last comment by maxsnew
- Last Active 32 minutes ago

- Discussion Type
- discussion topicmodel structure on simplicial presheaves
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active 41 minutes ago

- Discussion Type
- discussion topicmonadic functor
- Category Latest Changes
- Started by Alec Rhea
- Comments 7
- Last comment by Urs
- Last Active 5 hours ago

- Discussion Type
- discussion topicmonadicity theorem
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by Urs
- Last Active 7 hours ago

- Discussion Type
- discussion topicflavour anomaly
- Category Latest Changes
- Started by Urs
- Comments 186
- Last comment by Urs
- Last Active 8 hours ago

- Discussion Type
- discussion topicgraphene
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 9 hours ago

- Discussion Type
- discussion topicKrzysztof A. Meissner
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 9 hours ago

- Discussion Type
- discussion topicquantization of M2-brane to matrix model -- references
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 9 hours ago

- Discussion Type
- discussion topicLanglands functoriality
- Category Latest Changes
- Started by David_Corfield
- Comments 3
- Last comment by J-B Vienney
- Last Active 10 hours ago

- Discussion Type
- discussion topicsuperconvex space
- Category Latest Changes
- Started by nLab edit announcer
- Comments 16
- Last comment by Urs
- Last Active 18 hours ago

- Discussion Type
- discussion topicpreserved limit
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 18 hours ago

- Discussion Type
- discussion topiccreated limit
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 19 hours ago

- Discussion Type
- discussion topicUnderstanding Theorem 27 in McLarty's CCAF
- Category n-Forum
- Started by YimingXu
- Comments 14
- Last comment by YimingXu
- Last Active 1 day ago

- Discussion Type
- discussion topicJune Huh
- Category Latest Changes
- Started by David_Corfield
- Comments 4
- Last comment by David_Corfield
- Last Active 1 day ago

- Discussion Type
- discussion topicCayley mixture
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 118
- Last comment by David_Corfield
- Last Active 1 day ago

- Discussion Type
- discussion topicsymmetry protected topological phase
- Category Latest Changes
- Started by David_Corfield
- Comments 24
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicconformal field theory
- Category Latest Changes
- Started by Tim_van_Beek
- Comments 39
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicstring theory
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topictotally convex space
- Category Latest Changes
- Started by Andrew Stacey
- Comments 7
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicHelmut Röhrl
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicDieter Pumplün
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicmodel structure on monoids in a monoidal model category
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Dmitri Pavlov
- Last Active 1 day ago

- Discussion Type
- discussion topicmodel structure on algebras over an operad
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Dmitri Pavlov
- Last Active 1 day ago

- Discussion Type
- discussion topicobjective and subjective logic
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by J-B Vienney
- Last Active 1 day ago

- Discussion Type
- discussion topicphenomenology (philosophy)
- Category Latest Changes
- Started by J-B Vienney
- Comments 10
- Last comment by J-B Vienney
- Last Active 1 day ago

- Discussion Type
- discussion topicGorgias dialogue
- Category Latest Changes
- Started by J-B Vienney
- Comments 6
- Last comment by J-B Vienney
- Last Active 1 day ago

- Discussion Type
- discussion topicscheme
- Category Latest Changes
- Started by Richard Williamson
- Comments 16
- Last comment by nLab edit announcer
- Last Active 2 days ago

- Discussion Type
- discussion topicEdmund Husserl
- Category Latest Changes
- Started by J-B Vienney
- Comments 8
- Last comment by David_Corfield
- Last Active 2 days ago

- Discussion Type
- discussion topicphenomenology (physics)
- Category Latest Changes
- Started by zskoda
- Comments 10
- Last comment by J-B Vienney
- Last Active 2 days ago

- Discussion Type
- discussion topicLudwig Wittgenstein
- Category Latest Changes
- Started by J-B Vienney
- Comments 1
- Last comment by J-B Vienney
- Last Active 2 days ago

- Discussion Type
- discussion topicVictor Carmona
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topichomotopical algebraic quantum field theory
- Category Latest Changes
- Started by Urs
- Comments 16
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicPlato
- Category Latest Changes
- Started by J-B Vienney
- Comments 1
- Last comment by J-B Vienney
- Last Active 2 days ago

- Discussion Type
- discussion topicCenter for Quantum and Topological Systems
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by David_Corfield
- Last Active 2 days ago

- Discussion Type
- discussion topiccombinatorial model category
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicCombinatorial model categories have presentations
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicdomain theory
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by maxsnew
- Last Active 3 days ago

- Discussion Type
- discussion topicregular scheme
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicThe shape of function objects
- Category Mathematics, Physics & Philosophy
- Started by Charles Rezk
- Comments 5
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicsmooth infinity-groupoid
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicAdrian Clough
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicshape via cohesive path ∞-groupoid
- Category Latest Changes
- Started by Urs
- Comments 50
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicfunding of the nLab
- Category Latest Changes
- Started by Richard Williamson
- Comments 27
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicLorentzian polynomial
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by David_Corfield
- Last Active 3 days ago

- Discussion Type
- discussion topicLinear category
- Category nLab
- Started by J-B Vienney
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topictopological data analysis
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicsymmetric powers in (Q plus)-linear categories
- Category Latest Changes
- Started by J-B Vienney
- Comments 11
- Last comment by J-B Vienney
- Last Active 3 days ago

- Discussion Type
- discussion topicHasse-Schmidt derivative
- Category Latest Changes
- Started by J-B Vienney
- Comments 1
- Last comment by J-B Vienney
- Last Active 3 days ago

- Discussion Type
- discussion topicdifferential linear logic
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by J-B Vienney
- Last Active 3 days ago

- Discussion Type
- discussion topicQuillen adjunction between equivariant simplicial sets and equivariant connective dgc-algebras
- Category Latest Changes
- Started by Urs
- Comments 18
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topictransferred model structure
- Category Latest Changes
- Started by Urs
- Comments 24
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicModel Categories and Their Localizations
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicModel Categories and More General Abstract Homotopy Theory
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 4
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topiccofibrantly generated model category
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topictropical semiring
- Category Latest Changes
- Started by David_Corfield
- Comments 4
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicsemiring
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicmatroid
- Category Latest Changes
- Started by Todd_Trimble
- Comments 21
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicT-duality
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topiclinear type theory
- Category Latest Changes
- Started by Urs
- Comments 43
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicRalf Kemper
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 4 days ago