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-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck 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 infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory 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 stack 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 topicHilbert's sixth problem
- Category - Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active May 12th 2013

- Discussion Type
- discussion topicproof assistant
- Category - Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jun 18th 2013

- Discussion Type
- discussion topicclassifying topos for the theory of objects
- Category - Latest Changes
- Started by Urs
- Comments 11
- Last comment by DavidRoberts
- Last Active Nov 27th 2018

- Discussion Type
- discussion topicIs there a need for ontology (and related tools) of modal logics and what requirements there can be
- Category - nLab General Discussions
- Started by tomr
- Comments 3
- Last comment by Tim_Porter
- Last Active Aug 27th 2013

- Discussion Type
- discussion topiclogical relation
- Category - Latest Changes
- Started by Urs
- Comments 12
- Last comment by Pieter
- Last Active Feb 13th 2019

- Discussion Type
- discussion topicEntropy in logic,logic and probability
- Category - Mathematics, Physics & Philosophy
- Started by BeNikis
- Comments 8
- Last comment by BeNikis
- Last Active Oct 30th 2013

- Discussion Type
- discussion topicdependent linear type theory
- Category - Latest Changes
- Started by Urs
- Comments 69
- Last comment by Mike Shulman
- Last Active Oct 12th 2018

- Discussion Type
- discussion topicquantum logic
- Category - Latest Changes
- Started by Urs
- Comments 36
- Last comment by James Francese
- Last Active Mar 14th 2019

- Discussion Type
- discussion topicde Morgan duality
- Category - Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 23rd 2013

- Discussion Type
- discussion topiccomplemented lattice
- Category - Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Dec 24th 2013

- Discussion Type
- discussion topicIntroduction of a term
- Category - nLab General Discussions
- Started by Colin Tan
- Comments 6
- Last comment by Mike Shulman
- Last Active Dec 31st 2013

- Discussion Type
- discussion topicmodality
- Category - Latest Changes
- Started by Urs
- Comments 47
- Last comment by David_Corfield
- Last Active Jun 18th 2018

- Discussion Type
- discussion topicno-cloning theorem
- Category - Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Mar 5th 2014

- Discussion Type
- discussion topicdeduction theorem
- Category - Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jan 8th 2014

- Discussion Type
- discussion topicW-types in linear homotopy type theory
- Category - Mathematics, Physics & Philosophy
- Started by Urs
- Comments 9
- Last comment by Urs
- Last Active Jan 10th 2014

- Discussion Type
- discussion topicfoundations of mathematics
- Category - Latest Changes
- Started by Urs
- Comments 2
- Last comment by zskoda
- Last Active Jan 15th 2014

- Discussion Type
- discussion topicproof net
- Category - Latest Changes
- Started by Urs
- Comments 2
- Last comment by Todd_Trimble
- Last Active Jan 20th 2014

- Discussion Type
- discussion topiccut rule
- Category - Latest Changes
- Started by Urs
- Comments 22
- Last comment by Mike Shulman
- Last Active May 6th 2016

- Discussion Type
- discussion topicmodus ponens
- Category - Latest Changes
- Started by Urs
- Comments 2
- Last comment by TobyBartels
- Last Active Jan 27th 2014

- Discussion Type
- discussion topicGirard's 'Transcendental Syntax'
- Category - Mathematics, Physics & Philosophy
- Started by tonyjones
- Comments 7
- Last comment by Urs
- Last Active May 23rd 2014

- Discussion Type
- discussion topiclinear logic connectives
- Category - Latest Changes
- Started by Urs
- Comments 23
- Last comment by TobyBartels
- Last Active Feb 6th 2014

- Discussion Type
- discussion topicA string diagram calculus for predicate logic
- Category - Latest Changes
- Started by Urs
- Comments 2
- Last comment by Todd_Trimble
- Last Active Feb 9th 2014

- Discussion Type
- discussion topicorthomodular lattice
- Category - Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Mar 1st 2014

- Discussion Type
- discussion topicKleene's second algebra
- Category - Latest Changes
- Started by Urs
- Comments 2
- Last comment by spitters
- Last Active Mar 2nd 2014

- Discussion Type
- discussion topicfloating TOC "Constructivism, Realizability, Computability"
- Category - Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Mar 1st 2014

- Discussion Type
- discussion topicdecidable proposition
- Category - Latest Changes
- Started by Urs
- Comments 2
- Last comment by Mike Shulman
- Last Active Mar 2nd 2014

- Discussion Type
- discussion topicLawvere's fixed point theorem
- Category - Latest Changes
- Started by Urs
- Comments 30
- Last comment by martinescardo
- Last Active Sep 6th 2018

- Discussion Type
- discussion topicelementary theory of the category of sets
- Category - Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 1st 2014

- Discussion Type
- discussion topicforcing in homotopy type theory
- Category - Latest Changes
- Started by Urs
- Comments 6
- Last comment by Jon Beardsley
- Last Active May 4th 2014

- Discussion Type
- discussion topic404 on Markdown+Itex Help Link - now fixed :-)
- Category - nLab Technical Matters
- Started by bblfish
- Comments 9
- Last comment by bblfish
- Last Active Aug 25th 2014