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 elliptic-cohomology enriched fibration finite 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 history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limit 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 nonassociative noncommutative noncommutative-geometry number-theory object 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 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 topicPoints of toposes of sheaves on larger-than-usual sites
- Category Mathematics, Physics & Philosophy
- Started by IngoBlechschmidt
- Comments 6
- Last comment by IngoBlechschmidt
- Last Active May 27th 2017

- Discussion Type
- discussion topicultraproduct
- Category Mathematics, Physics & Philosophy
- Started by Tim_Porter
- Comments 6
- Last comment by jesse
- Last Active May 25th 2017

- Discussion Type
- discussion topicwave function collapse and split monomorphisms
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 20
- Last comment by Urs
- Last Active May 21st 2017

- Discussion Type
- discussion topicone-sided linearly distributive categories
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active May 16th 2017

- Discussion Type
- discussion topicsimplicial sets as a classifying topos
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 3
- Last comment by Mike Shulman
- Last Active May 10th 2017

- Discussion Type
- discussion topicconstructive/intuitionistic
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 13
- Last comment by spitters
- Last Active May 9th 2017

- Discussion Type
- discussion topic(Derived) noncommutative geometry and higher geometry
- Category Mathematics, Physics & Philosophy
- Started by lschmsc
- Comments 1
- Last comment by lschmsc
- Last Active May 4th 2017

- Discussion Type
- discussion topicMusings on modalities
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 6
- Last comment by David_Corfield
- Last Active Apr 27th 2017

- Discussion Type
- discussion topicdependent cartesian closed categories
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 2
- Last comment by NikolajK
- Last Active Apr 25th 2017

- Discussion Type
- discussion topicobjects of finite type (terminology)
- Category Mathematics, Physics & Philosophy
- Started by Alain Bruguières
- Comments 5
- Last comment by DavidRoberts
- Last Active Apr 25th 2017

- Discussion Type
- discussion topicSphere spectrum and HoTT
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 12
- Last comment by David_Corfield
- Last Active Apr 20th 2017

- Discussion Type
- discussion topicConjugation of supernumbers
- Category Mathematics, Physics & Philosophy
- Started by Alex Shpilkin
- Comments 1
- Last comment by Alex Shpilkin
- Last Active Apr 15th 2017

- Discussion Type
- discussion topicNotes from IHES
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 17
- Last comment by Ulrik
- Last Active Apr 8th 2017

- Discussion Type
- discussion topicFavonia's thesis
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 16
- Last comment by Urs
- Last Active Apr 1st 2017

- Discussion Type
- discussion topicdiagrammatic notation for HoTT?
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 5
- Last comment by David_Corfield
- Last Active Mar 31st 2017

- Discussion Type
- discussion topicabsolute spectral affine line?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Mar 30th 2017

- Discussion Type
- discussion topicIntegration as transfinite composition
- Category Mathematics, Physics & Philosophy
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active Mar 29th 2017

- Discussion Type
- discussion topicinternal hom into/out of a 1-mono/1-epi
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Mar 22nd 2017

- Discussion Type
- discussion topicDouble Profunctors
- Category Mathematics, Physics & Philosophy
- Started by maxsnew
- Comments 5
- Last comment by maxsnew
- Last Active Mar 16th 2017

- Discussion Type
- discussion topicdual Quillen-Suslin theorem
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 5
- Last comment by Richard Williamson
- Last Active Mar 11th 2017

- Discussion Type
- discussion topicAccessible Categories and Domains
- Category Mathematics, Physics & Philosophy
- Started by maxsnew
- Comments 3
- Last comment by maxsnew
- Last Active Mar 8th 2017

- Discussion Type
- discussion topicFrobenius Container
- Category Mathematics, Physics & Philosophy
- Started by Ben_Sprott
- Comments 4
- Last comment by Ben_Sprott
- Last Active Mar 7th 2017

- Discussion Type
- discussion topicanafunctors and HoTT
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 9
- Last comment by Mike Shulman
- Last Active Mar 6th 2017

- Discussion Type
- discussion topicmodel structure on spectra in reduced simplicial sets?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Mar 6th 2017

- Discussion Type
- discussion topicInverse functions.
- Category Mathematics, Physics & Philosophy
- Started by KeithEPeterson
- Comments 6
- Last comment by DavidRoberts
- Last Active Mar 2nd 2017

- Discussion Type
- discussion topicHoTT book 3.5.2
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 7
- Last comment by Mike Shulman
- Last Active Feb 26th 2017

- Discussion Type
- discussion topicresolutions in generalized geometry
- Category Mathematics, Physics & Philosophy
- Started by jim stasheff
- Comments 2
- Last comment by Urs
- Last Active Feb 7th 2017

- Discussion Type
- discussion topicWhy is it called orthogonality?
- Category Mathematics, Physics & Philosophy
- Started by Fosco
- Comments 6
- Last comment by Karol Szumiło
- Last Active Jan 31st 2017

- Discussion Type
- discussion topicRedundant constraints in Linear Programming
- Category Mathematics, Physics & Philosophy
- Started by Murat_Aygen
- Comments 3
- Last comment by Murat_Aygen
- Last Active Jan 23rd 2017

- Discussion Type
- discussion topicNew Philosophical approach to Logical and Mathematical Foundations of Systems Architecture
- Category Mathematics, Physics & Philosophy
- Started by kentpalmer
- Comments 1
- Last comment by kentpalmer
- Last Active Jan 23rd 2017

- Discussion Type
- discussion topicIs the EM-topos of the Jet-comonad cohesive if the base is?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 55
- Last comment by David_Corfield
- Last Active Jan 22nd 2017

- Discussion Type
- discussion topicTopology of the Projective Plane
- Category Mathematics, Physics & Philosophy
- Started by Murat_Aygen
- Comments 6
- Last comment by Todd_Trimble
- Last Active Jan 14th 2017

- Discussion Type
- discussion topicLaxness of bases of topologies
- Category Mathematics, Physics & Philosophy
- Started by TobyBartels
- Comments 20
- Last comment by TobyBartels
- Last Active Jan 7th 2017

- Discussion Type
- discussion topicEven higher order vertical categorification
- Category Mathematics, Physics & Philosophy
- Started by KeithEPeterson
- Comments 8
- Last comment by KeithEPeterson
- Last Active Jan 6th 2017

- Discussion Type
- discussion topicCohesive toposes in physics
- Category Mathematics, Physics & Philosophy
- Started by Fosco
- Comments 8
- Last comment by Urs
- Last Active Jan 4th 2017

- Discussion Type
- discussion topicFun with recreational math.
- Category Mathematics, Physics & Philosophy
- Started by KeithEPeterson
- Comments 17
- Last comment by Todd_Trimble
- Last Active Jan 1st 2017

- Discussion Type
- discussion topicDoes there exist a category of "templating"?
- Category Mathematics, Physics & Philosophy
- Started by KeithEPeterson
- Comments 10
- Last comment by RodMcGuire
- Last Active Dec 25th 2016

- Discussion Type
- discussion topicGromov, n-Categories, and the mind
- Category Mathematics, Physics & Philosophy
- Started by trent
- Comments 3
- Last comment by Tim_Porter
- Last Active Dec 24th 2016

- Discussion Type
- discussion topicproximity locales
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active Dec 17th 2016

- Discussion Type
- discussion topicThe possibility and significance of (∞,n)-categorical mathematics
- Category Mathematics, Physics & Philosophy
- Started by JohnCohn
- Comments 5
- Last comment by Tim_Porter
- Last Active Dec 13th 2016

- Discussion Type
- discussion topicQuantifiers in linear logic
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 11
- Last comment by Mike Shulman
- Last Active Dec 11th 2016

- Discussion Type
- discussion topicRose graphs and monoids/groups.
- Category Mathematics, Physics & Philosophy
- Started by KeithEPeterson
- Comments 4
- Last comment by KeithEPeterson
- Last Active Dec 10th 2016

- Discussion Type
- discussion topicA learning roadmap for Homotopical Algebra (in a broad sense of the term)
- Category Mathematics, Physics & Philosophy
- Started by tret3jtt
- Comments 34
- Last comment by Richard Williamson
- Last Active Dec 10th 2016

- Discussion Type
- discussion topicTerminology - categorification vs categoricalization
- Category Mathematics, Physics & Philosophy
- Started by PaoloPerrone
- Comments 8
- Last comment by TobyBartels
- Last Active Dec 9th 2016

- Discussion Type
- discussion topicUsing relations to describe functions
- Category Mathematics, Physics & Philosophy
- Started by PaoloPerrone
- Comments 21
- Last comment by Todd_Trimble
- Last Active Dec 7th 2016

- Discussion Type
- discussion topictransactive action
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 8
- Last comment by David_Corfield
- Last Active Nov 30th 2016

- Discussion Type
- discussion topicdifferentials
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 71
- Last comment by TobyBartels
- Last Active Nov 25th 2016

- Discussion Type
- discussion topicquantum groupoid from a Lie algebra
- Category Mathematics, Physics & Philosophy
- Started by zskoda
- Comments 11
- Last comment by zskoda
- Last Active Nov 23rd 2016

- Discussion Type
- discussion topicTopologie et intuitionnisme
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 5
- Last comment by Tim_Porter
- Last Active Nov 19th 2016

- Discussion Type
- discussion topicunpopularity of category theory
- Category Mathematics, Physics & Philosophy
- Started by zskoda
- Comments 38
- Last comment by DavidRoberts
- Last Active Nov 16th 2016

- Discussion Type
- discussion topicLie algebra cohomology via smooth sets
- Category Mathematics, Physics & Philosophy
- Started by amg
- Comments 12
- Last comment by amg
- Last Active Nov 16th 2016

- Discussion Type
- discussion topicconstructing pseudo-natural inverses to natural equivalences
- Category Mathematics, Physics & Philosophy
- Started by Karol Szumiło
- Comments 13
- Last comment by Karol Szumiło
- Last Active Nov 14th 2016

- Discussion Type
- discussion topicclassical field theory via higher differential geometry
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 20
- Last comment by David_Corfield
- Last Active Nov 11th 2016

- Discussion Type
- discussion topicfundamental theorem of calculus claim from hpg
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 69
- Last comment by DavidRoberts
- Last Active Nov 10th 2016

- Discussion Type
- discussion topic(infinity,2)-toposes and internal stable homotopy theory
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 28
- Last comment by David_Corfield
- Last Active Nov 8th 2016

- Discussion Type
- discussion topicfacts and propositions
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 24
- Last comment by Mike Shulman
- Last Active Nov 8th 2016

- Discussion Type
- discussion topicerrata for dcct
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 9
- Last comment by David_Corfield
- Last Active Nov 7th 2016

- Discussion Type
- discussion topicBianchi identity and Gauss-Bonnet as coherence laws
- Category Mathematics, Physics & Philosophy
- Started by PaoloPerrone
- Comments 6
- Last comment by PaoloPerrone
- Last Active Nov 3rd 2016

- Discussion Type
- discussion topicCan approximation or heurisitc methods overcome undecidability?
- Category Mathematics, Physics & Philosophy
- Started by tomr
- Comments 1
- Last comment by tomr
- Last Active Nov 2nd 2016

- Discussion Type
- discussion topicformal moduli problems in the smooth tangent topos?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 9
- Last comment by Urs
- Last Active Oct 31st 2016