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 topicreduced suspension type
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Urs
- Last Active Jan 6th 2023

- Discussion Type
- discussion topicreduced suspension
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Jan 6th 2023

- Discussion Type
- discussion topicsemisimple category
- Category Latest Changes
- Started by John Baez
- Comments 8
- Last comment by Urs
- Last Active Jan 6th 2023

- Discussion Type
- discussion topicCisinski model structure
- Category Latest Changes
- Started by Urs
- Comments 27
- Last comment by nLab edit announcer
- Last Active Jan 6th 2023

- Discussion Type
- discussion topicBayesian reasoning
- Category Latest Changes
- Started by David_Corfield
- Comments 15
- Last comment by tsmithe
- Last Active Jan 6th 2023

- Discussion Type
- discussion topicclassical r-matrix
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Guest
- Last Active Jan 6th 2023

- Discussion Type
- discussion topictropical geometry
- Category Latest Changes
- Started by zskoda
- Comments 24
- Last comment by zskoda
- Last Active Jan 6th 2023

- Discussion Type
- discussion topicmultivalued partial function
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 6th 2023

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

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

- Discussion Type
- discussion topicpartial function
- Category Latest Changes
- Started by Urs
- Comments 32
- Last comment by nLab edit announcer
- Last Active Jan 5th 2023

- Discussion Type
- discussion topic0-sphere
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicsuspension
- Category Latest Changes
- Started by Urs
- Comments 20
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicequator
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicmeridian
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicsuspension type
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicEvan Patterson
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicsecond order algebraic theory
- Category Latest Changes
- Started by maxsnew
- Comments 6
- Last comment by varkor
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicfunction limit space
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicUwe Petersen
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicstring field theory
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicYan Liu
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicKarl Landsteiner
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicAdS-CFT in condensed matter physics
- Category Latest Changes
- Started by Urs
- Comments 20
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicnuclear magnetic resonance
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicdependent anafunction
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicequality
- Category Latest Changes
- Started by Urs
- Comments 62
- Last comment by nLab edit announcer
- Last Active Jan 5th 2023

- Discussion Type
- discussion topicn-truncated object of an (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by nLab edit announcer
- Last Active Jan 4th 2023

- Discussion Type
- discussion topicn-truncation modality
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by Urs
- Last Active Jan 4th 2023

- Discussion Type
- discussion topicBruno Kahn
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Jan 4th 2023

- Discussion Type
- discussion topicBanach space
- Category Latest Changes
- Started by Mark Meckes
- Comments 34
- Last comment by nLab edit announcer
- Last Active Jan 4th 2023

- Discussion Type
- discussion topicabsolute convergence
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 4th 2023

- Discussion Type
- discussion topicconditional convergence
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 4th 2023

- Discussion Type
- discussion topicconditional convergence of spectral sequences
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by nLab edit announcer
- Last Active Jan 4th 2023

- Discussion Type
- discussion topicRiemann series theorem
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 4th 2023

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

- Discussion Type
- discussion topicsymmetric group
- Category Latest Changes
- Started by Tim_Porter
- Comments 11
- Last comment by nLab edit announcer
- Last Active Jan 4th 2023

- Discussion Type
- discussion topicKolmogorov topological space
- Category Latest Changes
- Started by maxsnew
- Comments 0
- Last comment by Guest
- Last Active Jan 4th 2023

- Discussion Type
- discussion topichomotopy level
- Category Latest Changes
- Started by Urs
- Comments 17
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicIntroduction to Homotopy Type Theory
- Category Latest Changes
- Started by nLab edit announcer
- Comments 33
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicunit type
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicFurio Honsell
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topiclogical framework
- Category Latest Changes
- Started by Mike Shulman
- Comments 5
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topichomotopy pullback
- Category Latest Changes
- Started by Urs
- Comments 23
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicNoam Chomsky
- Category Latest Changes
- Started by alexis.toumi
- Comments 3
- Last comment by zskoda
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topichomotopy pushout
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicpushout type
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicBlakers-Massey theorem
- Category Latest Changes
- Started by Urs
- Comments 33
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicinitial algebra of an endofunctor
- Category Latest Changes
- Started by anqurvanillapy
- Comments 8
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicW-type
- Category Latest Changes
- Started by Mike Shulman
- Comments 22
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicsemantics of W-types -- references
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicnatural numbers type
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by David_Corfield
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicprinciple of omniscience
- Category Latest Changes
- Started by Mike Shulman
- Comments 8
- Last comment by andrew
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicline segment
- Category Latest Changes
- Started by TobyBartels
- Comments 6
- Last comment by TobyBartels
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topiccalculus of constructions
- Category Latest Changes
- Started by Urs
- Comments 22
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicRoland Backhouse
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topictype theory
- Category Latest Changes
- Started by Mike Shulman
- Comments 102
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicinductive family
- Category Latest Changes
- Started by Mike Shulman
- Comments 6
- Last comment by Urs
- Last Active Jan 3rd 2023

- Discussion Type
- discussion topicChristine Paulin-Mohring
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 2nd 2023

- Discussion Type
- discussion topicPaul Francis Mendler
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 2nd 2023