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 topicdependent functions and dependent pairs -- table
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 20th 2023

- Discussion Type
- discussion topicEilenberg-Mac Lane space
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Jan 20th 2023

- Discussion Type
- discussion topicJarl G. Taxerås Flaten
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 20th 2023

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

- Discussion Type
- discussion topiccodiscrete cofibration
- Category Latest Changes
- Started by Mike Shulman
- Comments 3
- Last comment by varkor
- Last Active Jan 20th 2023

- Discussion Type
- discussion topicKac-Moody algebra
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by David_Corfield
- Last Active Jan 20th 2023

- Discussion Type
- discussion topicfibration in a 2-category
- Category Latest Changes
- Started by FinnLawler
- Comments 8
- Last comment by mattecapu
- Last Active Jan 20th 2023

- Discussion Type
- discussion topicVictor Kac
- Category Latest Changes
- Started by David_Corfield
- Comments 3
- Last comment by Urs
- Last Active Jan 20th 2023

- Discussion Type
- discussion topicaffine Lie algebra
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Dmitri Pavlov
- Last Active Jan 20th 2023

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

- Discussion Type
- discussion topicheterogeneous identity type
- Category Latest Changes
- Started by nLab edit announcer
- Comments 11
- Last comment by nLab edit announcer
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicConduché functor
- Category Latest Changes
- Started by John Baez
- Comments 3
- Last comment by varkor
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicdependent function application to identifications
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by nLab edit announcer
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicprefibered category
- Category Latest Changes
- Started by mattecapu
- Comments 2
- Last comment by mattecapu
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicdisplayed category
- Category Latest Changes
- Started by Mike Shulman
- Comments 10
- Last comment by mattecapu
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicidentity type
- Category Latest Changes
- Started by Urs
- Comments 115
- Last comment by nLab edit announcer
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicfunction application to identifications
- Category Latest Changes
- Started by nLab edit announcer
- Comments 10
- Last comment by Urs
- Last Active Jan 19th 2023

- Discussion Type
- discussion topiccoalgebra
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by jim stasheff
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicMarco Toller
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicsphere
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicfundamental 2-groupoid
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicfundamental infinity-groupoid
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicproof
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicdifferential cohesive (infinity,1)-topos
- Category Latest Changes
- Started by David_Corfield
- Comments 21
- Last comment by Urs
- Last Active Jan 19th 2023

- Discussion Type
- discussion topicinhomogeneous cosmology
- Category Latest Changes
- Started by Urs
- Comments 39
- Last comment by DavidRoberts
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicLagrangian Grassmannian
- Category Latest Changes
- Started by John Baez
- Comments 2
- Last comment by John Baez
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicquaternionic unitary group
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by John Baez
- Last Active Jan 18th 2023

- Discussion Type
- discussion topictorsor
- Category Latest Changes
- Started by nLab edit announcer
- Comments 41
- Last comment by Urs
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicfundamental theorem of covering spaces
- Category Latest Changes
- Started by Bartek
- Comments 6
- Last comment by Urs
- Last Active Jan 18th 2023

- Discussion Type
- discussion topictransport
- Category Latest Changes
- Started by nLab edit announcer
- Comments 11
- Last comment by Urs
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicquantum information
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by Urs
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicsynthetic guarded domain theory
- Category Latest Changes
- Started by maxsnew
- Comments 30
- Last comment by Guest
- Last Active Jan 18th 2023

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

- Discussion Type
- discussion topiccertified programming
- Category Latest Changes
- Started by Urs
- Comments 30
- Last comment by Urs
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicC. A. R. Hoare
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicseparation logic
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicHoare logic
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicSurvey: Higher Geometric Prequantum Theory
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 15
- Last comment by Urs
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicgeometric realization
- Category Latest Changes
- Started by Todd_Trimble
- Comments 40
- Last comment by Dmitri Pavlov
- Last Active Jan 18th 2023

- Discussion Type
- discussion topicfinitely generated group
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Jan 17th 2023

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

- Discussion Type
- discussion topicGrothendieck topos
- Category Latest Changes
- Started by JonasFrey
- Comments 30
- Last comment by nLab edit announcer
- Last Active Jan 17th 2023

- Discussion Type
- discussion topicCayley graph
- Category Latest Changes
- Started by Tim_Porter
- Comments 10
- Last comment by Urs
- Last Active Jan 17th 2023

- Discussion Type
- discussion topiclocalic homotopy theory
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by Guest
- Last Active Jan 17th 2023

- Discussion Type
- discussion topichistory of inductive types -- references
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jan 17th 2023

- Discussion Type
- discussion topicSteenrod square
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Jan 17th 2023

- Discussion Type
- discussion topicdescent morphism
- Category Latest Changes
- Started by Mike Shulman
- Comments 24
- Last comment by Urs
- Last Active Jan 17th 2023

- Discussion Type
- discussion topicquantum circuit diagram
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Jan 17th 2023

- Discussion Type
- discussion topictangent bundle category
- Category Latest Changes
- Started by David_Corfield
- Comments 23
- Last comment by BryceClarke
- Last Active Jan 17th 2023

- Discussion Type
- discussion topicreversible computation
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jan 17th 2023

- Discussion Type
- discussion topicpoint-free topology
- Category Latest Changes
- Started by nLab edit announcer
- Comments 13
- Last comment by Urs
- Last Active Jan 17th 2023

- Discussion Type
- discussion topicquantum measurement
- Category Latest Changes
- Started by Urs
- Comments 18
- Last comment by Urs
- Last Active Jan 17th 2023

- Discussion Type
- discussion topicAhmed Almheiri
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jan 17th 2023

- Discussion Type
- discussion topicAlexander Schmeding
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jan 17th 2023

- Discussion Type
- discussion topicweak homotopy equivalence
- Category Latest Changes
- Started by Urs
- Comments 28
- Last comment by nLab edit announcer
- Last Active Jan 16th 2023

- Discussion Type
- discussion topicT-Grothendieck construction
- Category Latest Changes
- Started by jademaster
- Comments 2
- Last comment by varkor
- Last Active Jan 16th 2023

- Discussion Type
- discussion topicDavid Wärn
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 16th 2023

- Discussion Type
- discussion topicdouble category
- Category Latest Changes
- Started by John Baez
- Comments 22
- Last comment by BryceClarke
- Last Active Jan 16th 2023

- Discussion Type
- discussion topicJohn Bourke
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 16th 2023

- Discussion Type
- discussion topicalgebraic weak factorization system
- Category Latest Changes
- Started by BryceClarke
- Comments 1
- Last comment by BryceClarke
- Last Active Jan 16th 2023