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-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration 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 k-theory lie lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject 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 topicQuantum Computational Trinitarianism
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 2 hours ago

- Discussion Type
- discussion topiccomputational trinitarianism
- Category Latest Changes
- Started by Urs
- Comments 34
- Last comment by Urs
- Last Active 3 hours ago

- Discussion Type
- discussion topicMitchell Riley
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 4 hours ago

- Discussion Type
- discussion topicquantum computation
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active 6 hours ago

- Discussion Type
- discussion topicSimon J. Devitt
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 6 hours ago

- Discussion Type
- discussion topicMartin Lundfall
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 6 hours ago

- Discussion Type
- discussion topicdependent linear type theory
- Category Latest Changes
- Started by Urs
- Comments 76
- Last comment by Urs
- Last Active 6 hours ago

- Discussion Type
- discussion topicbeta-gamma system
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Luigi
- Last Active 8 hours ago

- Discussion Type
- discussion topicside effect
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 10 hours ago

- Discussion Type
- discussion topicHomotopy Type Theory -- Univalent Foundations of Mathematics
- Category Latest Changes
- Started by Urs
- Comments 27
- Last comment by Urs
- Last Active 11 hours ago

- Discussion Type
- discussion topicunivalence axiom
- Category Latest Changes
- Started by spitters
- Comments 29
- Last comment by Urs
- Last Active 11 hours ago

- Discussion Type
- discussion topicBernhard Ömer
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 12 hours ago

- Discussion Type
- discussion topicquantum programming languages -- references
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 12 hours ago

- Discussion Type
- discussion topicClaudia Faggian
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 13 hours ago

- Discussion Type
- discussion topicGiulio Casati
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 13 hours ago

- Discussion Type
- discussion topicGiuliano Benenti
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 13 hours ago

- Discussion Type
- discussion topicDavide Rossini
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 13 hours ago

- Discussion Type
- discussion topicShor's algorithm
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 13 hours ago

- Discussion Type
- discussion topicquantum information
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by Urs
- Last Active 13 hours ago

- Discussion Type
- discussion topicquantum complexity theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 14 hours ago

- Discussion Type
- discussion topicJarosław Adam Miszczak
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 14 hours ago

- Discussion Type
- discussion topicDefine operations so the collection of sets of natural numbers become a model of ETCS?
- Category n-Forum
- Started by YimingXu
- Comments 14
- Last comment by DavidRoberts
- Last Active 14 hours ago

- Discussion Type
- discussion topicquantum gate
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 14 hours ago

- Discussion Type
- discussion topicquantum circuit diagram
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 14 hours ago

- Discussion Type
- discussion topicstring diagram
- Category Latest Changes
- Started by nLab edit announcer
- Comments 40
- Last comment by Urs
- Last Active 14 hours ago

- Discussion Type
- discussion topicER = EPR
- Category Latest Changes
- Started by Luigi
- Comments 4
- Last comment by Urs
- Last Active 15 hours ago

- Discussion Type
- discussion topicholographic entanglement entropy
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by Urs
- Last Active 15 hours ago

- Discussion Type
- discussion topicidentity type
- Category Latest Changes
- Started by Urs
- Comments 32
- Last comment by Urs
- Last Active 16 hours ago

- Discussion Type
- discussion topicextensional type theory
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Urs
- Last Active 16 hours ago

- Discussion Type
- discussion topicintensional type theory
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active 16 hours ago

- Discussion Type
- discussion topicFrans R. Klinkhamer
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 16 hours ago

- Discussion Type
- discussion topicD=5 supergravity
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active 16 hours ago

- Discussion Type
- discussion topicCayley distance kernel
- Category Latest Changes
- Started by Urs
- Comments 141
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topichook length formula
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active 1 day ago

- Discussion Type
- discussion topic!-modality
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicmagmoidal category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 8
- Last comment by DavidRoberts
- Last Active 1 day ago

- Discussion Type
- discussion topicquantum logic
- Category Latest Changes
- Started by Urs
- Comments 39
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicHarley Eades
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topictype theory
- Category Latest Changes
- Started by Mike Shulman
- Comments 93
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicMartin-Löf dependent type theory
- Category Latest Changes
- Started by Zhen Lin
- Comments 27
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topiccertified programming
- Category Latest Changes
- Started by Urs
- Comments 25
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicSteve Zdancewic
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicRobert Rand
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicJennifer Paykin
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 1 day ago

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

- Discussion Type
- discussion topichomotopy type theory
- Category Latest Changes
- Started by Urs
- Comments 54
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topichook-content formula
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by David_Corfield
- Last Active 1 day ago

- Discussion Type
- discussion topicWorking group online on differential cohesive topos?
- Category Mathematics, Physics & Philosophy
- Started by iamcxds
- Comments 2
- Last comment by dds
- Last Active 1 day ago

- Discussion Type
- discussion topicleptoquark
- Category Latest Changes
- Started by Urs
- Comments 37
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicflavour anomaly
- Category Latest Changes
- Started by Urs
- Comments 166
- Last comment by Urs
- Last Active 1 day ago

- Discussion Type
- discussion topicEI-category
- Category Latest Changes
- Started by David_Corfield
- Comments 9
- Last comment by varkor
- Last Active 2 days ago

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

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

- Discussion Type
- discussion topiccryptography
- Category Latest Changes
- Started by zskoda
- Comments 2
- Last comment by Urs
- Last Active 2 days ago

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

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

- Discussion Type
- discussion topicmass gap
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicstar-algebra
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicC-star-algebra
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 2 days ago

- Discussion Type
- discussion topicinvolution
- Category Latest Changes
- Started by bgm
- Comments 2
- Last comment by Urs
- Last Active 2 days ago