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 itex 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 nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics planar 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 topicdiffeomorphism group
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Jan 24th 2023

- Discussion Type
- discussion topicboolean domain
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Jan 24th 2023

- Discussion Type
- discussion topicsum type
- Category Latest Changes
- Started by maxsnew
- Comments 3
- Last comment by nLab edit announcer
- Last Active Jan 24th 2023

- Discussion Type
- discussion topicspectral sequence
- Category Latest Changes
- Started by Urs
- Comments 34
- Last comment by DavidRoberts
- Last Active Jan 24th 2023

- Discussion Type
- discussion topicinteger
- Category Latest Changes
- Started by Urs
- Comments 20
- Last comment by nLab edit announcer
- Last Active Jan 24th 2023

- Discussion Type
- discussion topicintegers type
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 24th 2023

- Discussion Type
- discussion topicJean Leray
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 1
- Last comment by Dmitri Pavlov
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicunique factorization ring
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicgeneralized multicategory
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by maxsnew
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topichigher Kac-Moody algebra
- Category Latest Changes
- Started by Luigi
- Comments 6
- Last comment by Luigi Alfonsi
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicPrincipia Mathematica
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicPhilipp G. Haselwarter
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicFranz Brentano
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicsheaf of L-∞ algebras
- Category Latest Changes
- Started by Luigi Alfonsi
- Comments 1
- Last comment by Luigi Alfonsi
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicnatural deduction
- Category Latest Changes
- Started by nLab edit announcer
- Comments 11
- Last comment by Urs
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicKirill Gubarev
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicM2-brane
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicConnes-Lott-Chamseddine-Barrett model
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topiclist of journals publishing homotopy theory and category theory
- Category Latest Changes
- Started by Mike Shulman
- Comments 51
- Last comment by nLab edit announcer
- Last Active Jan 23rd 2023

- Discussion Type
- discussion topicshrinking lemma
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by nLab edit announcer
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicmodular polynomial
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicunique factorization domain
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by nLab edit announcer
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicsquare-free element
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicsquare-free
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topiccategorical model of dependent types
- Category Latest Changes
- Started by Mike Shulman
- Comments 38
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicDisCoPy
- Category Latest Changes
- Started by alexis.toumi
- Comments 11
- Last comment by alexis.toumi
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicrelation between type theory and category theory
- Category Latest Changes
- Started by Urs
- Comments 98
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicsquare-free polynomial
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicquantum geometric Langlands correspondence
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicnatural model of homotopy type theory
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicGrothendieck universe
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicHorst Schubert
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topiccategory theory
- Category Latest Changes
- Started by Eric
- Comments 79
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicquasi-category
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicTarski universe
- Category Latest Changes
- Started by nLab edit announcer
- Comments 10
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicinaccessible cardinal
- Category Latest Changes
- Started by DavidRoberts
- Comments 17
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicpropositions as types
- Category Latest Changes
- Started by JonAwbrey
- Comments 17
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicGrothendieck fibration
- Category Latest Changes
- Started by Urs
- Comments 28
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topiceffective topos
- Category Latest Changes
- Started by zskoda
- Comments 6
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicinternal category
- Category Latest Changes
- Started by Urs
- Comments 87
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicHandbook of Logic in Computer Science
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicsquare-free number
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicZena M. Ariola
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicPaul Downen
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicsequent calculus
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicHelmut Schwichtenberg
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicproof theory
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicBeck-Chevalley condition
- Category Latest Changes
- Started by Urs
- Comments 22
- Last comment by Urs
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topiclocale of real numbers
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Guest
- Last Active Jan 22nd 2023

- Discussion Type
- discussion topicgeometric algebra
- Category Latest Changes
- Started by Urs
- Comments 12
- Last comment by Guest
- Last Active Jan 21st 2023

- Discussion Type
- discussion topicRussell universe
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Jan 21st 2023

- Discussion Type
- discussion topicNaming suggestions: Injectivity and orthogonality coincide
- Category n-Forum
- Started by mbid
- Comments 1
- Last comment by mbid
- Last Active Jan 21st 2023

- Discussion Type
- discussion topicdependent sum type
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Urs
- Last Active Jan 21st 2023

- Discussion Type
- discussion topicfunction extensionality
- Category Latest Changes
- Started by Urs
- Comments 67
- Last comment by Urs
- Last Active Jan 21st 2023

- Discussion Type
- discussion topicAbout
- Category Latest Changes
- Started by Andrew Stacey
- Comments 16
- Last comment by Urs
- Last Active Jan 21st 2023

- Discussion Type
- discussion topicHomePage
- Category Latest Changes
- Started by Urs
- Comments 80
- Last comment by Urs
- Last Active Jan 21st 2023

- Discussion Type
- discussion topiccontractible type
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Jan 21st 2023

- Discussion Type
- discussion topicuniversal quantifier
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Urs
- Last Active Jan 21st 2023

- Discussion Type
- discussion topicset theory versus dependent type theory
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Urs
- Last Active Jan 21st 2023

- Discussion Type
- discussion topicgroup object
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Jan 20th 2023