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 finite 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 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 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 set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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 topicIssues from a conference
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 8
- Last comment by David_Corfield
- Last Active Sep 20th 2014

- Discussion Type
- discussion topicvortices and instantons
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 13
- Last comment by David_Corfield
- Last Active Sep 19th 2014

- Discussion Type
- discussion topick-tuply posetal n-categories
- Category Mathematics, Physics & Philosophy
- Started by Colin Zwanziger
- Comments 4
- Last comment by TobyBartels
- Last Active Sep 16th 2014

- Discussion Type
- discussion topicGeometric Complexity Theory & Category Theory
- Category Mathematics, Physics & Philosophy
- Started by trent
- Comments 6
- Last comment by trent
- Last Active Sep 15th 2014

- Discussion Type
- discussion topicWhy do functors preserve identity ?
- Category Mathematics, Physics & Philosophy
- Started by sure
- Comments 6
- Last comment by sure
- Last Active Sep 15th 2014

- Discussion Type
- discussion topicproperties of DCPO category
- Category Mathematics, Physics & Philosophy
- Started by qasim
- Comments 5
- Last comment by qasim
- Last Active Sep 13th 2014

- Discussion Type
- discussion topicA paper by hugo bacard
- Category Mathematics, Physics & Philosophy
- Started by tonyjones
- Comments 2
- Last comment by Urs
- Last Active Sep 8th 2014

- Discussion Type
- discussion topicLocally connected toposes and constructive reasoning
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 6
- Last comment by DavidRoberts
- Last Active Sep 4th 2014

- Discussion Type
- discussion topicWhat should an abelian $\infty$-category be?
- Category Mathematics, Physics & Philosophy
- Started by Fosco
- Comments 10
- Last comment by domenico_fiorenza
- Last Active Aug 31st 2014

- Discussion Type
- discussion topicArtin L-function and Alexander polynomial ?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 20
- Last comment by David_Corfield
- Last Active Aug 29th 2014

- Discussion Type
- discussion topicLanglands correspondence & equivariant elliptic cohomology & modular functor & WZW model & CS theory
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Aug 29th 2014

- Discussion Type
- discussion topicTheta-functions and L-functions ?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 26
- Last comment by zskoda
- Last Active Aug 28th 2014

- Discussion Type
- discussion topicIs there a categorical way to describe entropy?
- Category Mathematics, Physics & Philosophy
- Started by Ian_Durham
- Comments 25
- Last comment by expixpi
- Last Active Aug 28th 2014

- Discussion Type
- discussion topicE-infinity arithmetic cohesion and torsion rings
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Aug 27th 2014

- Discussion Type
- discussion topicexamples of quality types in cohesion
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 63
- Last comment by trent
- Last Active Aug 26th 2014

- Discussion Type
- discussion topicsphere augmentation and cohesive arithmetic geometry
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Aug 22nd 2014

- Discussion Type
- discussion topicLocalization is adjoint functor factorization
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 9
- Last comment by Thomas Holder
- Last Active Aug 8th 2014

- Discussion Type
- discussion topicTall-Wraith monoid
- Category Mathematics, Physics & Philosophy
- Started by Todd_Trimble
- Comments 8
- Last comment by David_Corfield
- Last Active Jul 29th 2014

- Discussion Type
- discussion topicHomotopies of L_oo algebras
- Category Mathematics, Physics & Philosophy
- Started by Mirco Richter
- Comments 2
- Last comment by Todd_Trimble
- Last Active Jul 23rd 2014

- Discussion Type
- discussion topicanalytic hypercovers
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jul 19th 2014

- Discussion Type
- discussion topicretracts of representables
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 2
- Last comment by Zhen Lin
- Last Active Jul 17th 2014

- Discussion Type
- discussion topic"finite" essentially algebraic theories
- Category Mathematics, Physics & Philosophy
- Started by SridharRamesh
- Comments 6
- Last comment by TobyBartels
- Last Active Jul 11th 2014

- Discussion Type
- discussion topicWhat does a conservative functor forget?
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active Jul 10th 2014

- Discussion Type
- discussion topic(infinity,n)-categories as sheaves on manifolds
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 4
- Last comment by sanath
- Last Active Jul 8th 2014

- Discussion Type
- discussion topicAnalytic vs algebraic line bundle
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 14
- Last comment by Urs
- Last Active Jul 7th 2014

- Discussion Type
- discussion topicCech model structure on simplicial sheaves
- Category Mathematics, Physics & Philosophy
- Started by DavidCarchedi
- Comments 21
- Last comment by DavidCarchedi
- Last Active Jul 3rd 2014

- Discussion Type
- discussion topicType theory and set theory
- Category Mathematics, Physics & Philosophy
- Started by TobyBartels
- Comments 3
- Last comment by TobyBartels
- Last Active Jul 2nd 2014

- Discussion Type
- discussion topicIs there a universal property to the passage from a category to its derived category?
- Category Mathematics, Physics & Philosophy
- Started by Michael_Bachtold
- Comments 31
- Last comment by Mike Shulman
- Last Active Jun 26th 2014

- Discussion Type
- discussion topicfunctional extensionality question
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 4
- Last comment by Mike Shulman
- Last Active Jun 26th 2014

- Discussion Type
- discussion topicPostnikov towers and hypercompletion
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 21
- Last comment by Marc Hoyois
- Last Active Jun 25th 2014

- Discussion Type
- discussion topicAlbert Lautman
- Category Mathematics, Physics & Philosophy
- Started by zskoda
- Comments 20
- Last comment by David_Corfield
- Last Active Jun 20th 2014

- Discussion Type
- discussion topicZalamea's talk in Netherlands
- Category Mathematics, Physics & Philosophy
- Started by zskoda
- Comments 6
- Last comment by trent
- Last Active Jun 17th 2014

- Discussion Type
- discussion topicon quasitoposes
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 9
- Last comment by Zhen Lin
- Last Active Jun 15th 2014

- Discussion Type
- discussion topic(oo,1)-Prof
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active Jun 13th 2014

- Discussion Type
- discussion topicrelation between completion and localization
- Category Mathematics, Physics & Philosophy
- Started by elif
- Comments 2
- Last comment by zskoda
- Last Active Jun 9th 2014

- Discussion Type
- discussion topicInfinitary factorization system
- Category Mathematics, Physics & Philosophy
- Started by Fosco
- Comments 2
- Last comment by Fosco
- Last Active May 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 topicstrings on CYs in positive characteristic
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 19th 2014

- Discussion Type
- discussion topicHigher comonoids
- Category Mathematics, Physics & Philosophy
- Started by Jon Beardsley
- Comments 3
- Last comment by Jon Beardsley
- Last Active May 10th 2014

- Discussion Type
- discussion topicQuillen
- Category Mathematics, Physics & Philosophy
- Started by zskoda
- Comments 2
- Last comment by adeelkh
- Last Active May 7th 2014

- Discussion Type
- discussion topic$t$-structures as factorization systems in a stable $\infty$-category
- Category Mathematics, Physics & Philosophy
- Started by Fosco
- Comments 4
- Last comment by Fosco
- Last Active May 7th 2014

- Discussion Type
- discussion topicExterior Differentiability
- Category Mathematics, Physics & Philosophy
- Started by StevenGubkin
- Comments 2
- Last comment by Mike Shulman
- Last Active May 6th 2014

- Discussion Type
- discussion topicHomotopy quantum field theories and String Connections
- Category Mathematics, Physics & Philosophy
- Started by sanath
- Comments 7
- Last comment by Urs
- Last Active May 3rd 2014

- Discussion Type
- discussion topiccomplex cogerm forms
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active Apr 30th 2014

- Discussion Type
- discussion topicWhy should one study higher category theory from a physics perspective?
- Category Mathematics, Physics & Philosophy
- Started by sure
- Comments 13
- Last comment by sanath
- Last Active Apr 30th 2014

- Discussion Type
- discussion topicmultivariable differentiability
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 16
- Last comment by TobyBartels
- Last Active Apr 28th 2014

- Discussion Type
- discussion topicM-complete category
- Category Mathematics, Physics & Philosophy
- Started by Fosco
- Comments 14
- Last comment by Mike Shulman
- Last Active Apr 25th 2014

- Discussion Type
- discussion topicsomething about profinite groups
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 3
- Last comment by Tim_Porter
- Last Active Apr 18th 2014

- Discussion Type
- discussion topichigher approximations of "stable cohomology"
- Category Mathematics, Physics & Philosophy
- Started by Jon Beardsley
- Comments 9
- Last comment by David_Corfield
- Last Active Apr 16th 2014

- Discussion Type
- discussion topicInternal non-discrete fibrations
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 9
- Last comment by Mike Shulman
- Last Active Apr 16th 2014

- Discussion Type
- discussion topicsomewhat vague
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 2
- Last comment by Urs
- Last Active Apr 15th 2014

- Discussion Type
- discussion topicequivariant spectrum
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Apr 13th 2014

- Discussion Type
- discussion topicGeometric realisation without topological spaces?
- Category Mathematics, Physics & Philosophy
- Started by Zhen Lin
- Comments 32
- Last comment by Richard Williamson
- Last Active Apr 7th 2014

- Discussion Type
- discussion topiclimits of manifolds
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 8
- Last comment by Todd_Trimble
- Last Active Apr 6th 2014

- Discussion Type
- discussion topicA short note for Todd Trimble
- Category Mathematics, Physics & Philosophy
- Started by jcmckeown
- Comments 6
- Last comment by jcmckeown
- Last Active Apr 6th 2014

- Discussion Type
- discussion topictangent bundles of limits of smooth spaces
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 3
- Last comment by Mike Shulman
- Last Active Apr 5th 2014

- Discussion Type
- discussion topiccojet differential forms
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 8
- Last comment by Mike Shulman
- Last Active Apr 4th 2014

- Discussion Type
- discussion topicG-equivariant stable homotopy theory
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 33
- Last comment by Urs
- Last Active Apr 3rd 2014

- Discussion Type
- discussion topicPic(KU) in GL1(tmf) ?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 1st 2014

- Discussion Type
- discussion topicthe small object argument in an \infty-category
- Category Mathematics, Physics & Philosophy
- Started by amg
- Comments 7
- Last comment by amg
- Last Active Mar 29th 2014