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 bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory 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 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 homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory kan 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 natural nforum nlab nonassociative 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 simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological 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 topicregular foliation
- Category nLab General Discussions
- Started by jim stasheff
- Comments 5
- Last comment by TobyBartels
- Last Active Jul 28th 2017

- Discussion Type
- discussion topicKan simplicial sets with explicit fillers: algebraic or functional?
- Category nLab General Discussions
- Started by bezem
- Comments 8
- Last comment by Todd_Trimble
- Last Active Jul 19th 2017

- Discussion Type
- discussion topicIntroducing Compound Interest In Our MAnuals
- Category nLab General Discussions
- Started by adamvoges
- Comments 2
- Last comment by DavidRoberts
- Last Active Jul 17th 2017

- Discussion Type
- discussion topicHom (in the sense of Street1980)
- Category nLab General Discussions
- Started by Peter Heinig
- Comments 5
- Last comment by DavidRoberts
- Last Active Jul 16th 2017

- Discussion Type
- discussion topiccopyright danger!
- Category nLab General Discussions
- Started by zskoda
- Comments 4
- Last comment by RodMcGuire
- Last Active Jul 11th 2017

- Discussion Type
- discussion topicGödel's second incompleteness theorem
- Category nLab General Discussions
- Started by Richard Williamson
- Comments 13
- Last comment by Urs
- Last Active Jul 8th 2017

- Discussion Type
- discussion topicShould definitions integrate unitality assumptions?
- Category nLab General Discussions
- Started by IS
- Comments 4
- Last comment by Mike Shulman
- Last Active Jun 25th 2017

- Discussion Type
- discussion topicgroup monomorphisms in a topos
- Category nLab General Discussions
- Started by Todd_Trimble
- Comments 11
- Last comment by Todd_Trimble
- Last Active Jun 20th 2017

- Discussion Type
- discussion topicequivariant_related_illustration20170619
- Category nLab General Discussions
- Started by Peter Heinig
- Comments 1
- Last comment by Peter Heinig
- Last Active Jun 19th 2017

- Discussion Type
- discussion topiccategory of simple graphs with embeddings (proposed)
- Category nLab General Discussions
- Started by Peter Heinig
- Comments 21
- Last comment by Peter Heinig
- Last Active Jun 16th 2017

- Discussion Type
- discussion topicCategories in which exponentiation distributes over addition
- Category nLab General Discussions
- Started by Richard Williamson
- Comments 20
- Last comment by Mike Shulman
- Last Active Jun 14th 2017

- Discussion Type
- discussion topicTechnical term for the category having morphism precisely the families of parallel morphisms?
- Category nLab General Discussions
- Started by Peter Heinig
- Comments 5
- Last comment by Todd_Trimble
- Last Active Jun 10th 2017

- Discussion Type
- discussion topicHow to call the full subcategory of convergent diagrams within a functor category?
- Category nLab General Discussions
- Started by Peter Heinig
- Comments 1
- Last comment by Peter Heinig
- Last Active Jun 10th 2017

- Discussion Type
- discussion topicStrictification of iso-fibrations up to homotopy
- Category nLab General Discussions
- Started by Richard Williamson
- Comments 20
- Last comment by Mike Shulman
- Last Active Jun 8th 2017

- Discussion Type
- discussion topicOpen morphisms of locales vs. topological spaces
- Category nLab General Discussions
- Started by IngoBlechschmidt
- Comments 6
- Last comment by IngoBlechschmidt
- Last Active Jun 1st 2017

- Discussion Type
- discussion topicbroken links to Mike's talks
- Category nLab General Discussions
- Started by Todd_Trimble
- Comments 3
- Last comment by Todd_Trimble
- Last Active May 30th 2017

- Discussion Type
- discussion topiclinear vs. total orders
- Category nLab General Discussions
- Started by Todd_Trimble
- Comments 3
- Last comment by Todd_Trimble
- Last Active May 21st 2017

- Discussion Type
- discussion topicA proof that the induction principle holds in a suitable type theory
- Category nLab General Discussions
- Started by JamesSmith
- Comments 5
- Last comment by JamesSmith
- Last Active May 15th 2017

- Discussion Type
- discussion topicopen maps
- Category nLab General Discussions
- Started by DavidRoberts
- Comments 6
- Last comment by Urs
- Last Active May 12th 2017

- Discussion Type
- discussion topiccompactum
- Category nLab General Discussions
- Started by Todd_Trimble
- Comments 9
- Last comment by Urs
- Last Active May 3rd 2017

- Discussion Type
- discussion topicExamples of (co)tensored or (co)powered enriched categories?
- Category nLab General Discussions
- Started by Bartek
- Comments 4
- Last comment by Todd_Trimble
- Last Active Apr 19th 2017

- Discussion Type
- discussion topictheory of sup-lattices in quasitoposes
- Category nLab General Discussions
- Started by Todd_Trimble
- Comments 3
- Last comment by Todd_Trimble
- Last Active Apr 19th 2017

- Discussion Type
- discussion topicReference for a characterization of cartesian monoidal categories
- Category nLab General Discussions
- Started by Bruno Stonek
- Comments 4
- Last comment by maxsnew
- Last Active Apr 14th 2017

- Discussion Type
- discussion topicDo we have the result on maps from compact to Hausdorff spaces?
- Category nLab General Discussions
- Started by Andrew Stacey
- Comments 4
- Last comment by Urs
- Last Active Apr 13th 2017

- Discussion Type
- discussion topicrationally acyclic and MO question.
- Category nLab General Discussions
- Started by Tim_Porter
- Comments 2
- Last comment by Urs
- Last Active Mar 30th 2017

- Discussion Type
- discussion topicPeter Freyd
- Category nLab General Discussions
- Started by Tim_Porter
- Comments 5
- Last comment by TobyBartels
- Last Active Jan 23rd 2017

- Discussion Type
- discussion topicnPOV on Complexity Theory?
- Category nLab General Discussions
- Started by SaalHardali
- Comments 4
- Last comment by Mike Shulman
- Last Active Jan 21st 2017

- Discussion Type
- discussion topicGalois groups
- Category nLab General Discussions
- Started by Mateo_Carmona_G
- Comments 1
- Last comment by Mateo_Carmona_G
- Last Active Jan 20th 2017

- Discussion Type
- discussion topicApproximate IVT
- Category nLab General Discussions
- Started by Richard Williamson
- Comments 131
- Last comment by Richard Williamson
- Last Active Jan 2nd 2017

- Discussion Type
- discussion topicGerbe (as a stack)
- Category nLab General Discussions
- Started by hilbertthm90
- Comments 5
- Last comment by Urs
- Last Active Dec 27th 2016

- Discussion Type
- discussion topicPoincaré conjecture
- Category nLab General Discussions
- Started by Richard Williamson
- Comments 5
- Last comment by Richard Williamson
- Last Active Dec 23rd 2016

- Discussion Type
- discussion topicSimple question about the core of categories.
- Category nLab General Discussions
- Started by KeithEPeterson
- Comments 3
- Last comment by TobyBartels
- Last Active Dec 21st 2016

- Discussion Type
- discussion topicGLAV constraints
- Category nLab General Discussions
- Started by John Baez
- Comments 10
- Last comment by Todd_Trimble
- Last Active Dec 11th 2016

- Discussion Type
- discussion topicExamples/Theory of "Improvement"?
- Category nLab General Discussions
- Started by maxsnew
- Comments 4
- Last comment by maxsnew
- Last Active Dec 10th 2016

- Discussion Type
- discussion topicSheafification in constructive predicative mathematics
- Category nLab General Discussions
- Started by Ulrik
- Comments 3
- Last comment by IngoBlechschmidt
- Last Active Dec 2nd 2016

- Discussion Type
- discussion topicElephant part 3
- Category nLab General Discussions
- Started by spitters
- Comments 2
- Last comment by David_Corfield
- Last Active Nov 22nd 2016

- Discussion Type
- discussion topicLeft adjoint to the Grothendieck construction
- Category nLab General Discussions
- Started by Dmitri Pavlov
- Comments 9
- Last comment by Dmitri Pavlov
- Last Active Nov 22nd 2016

- Discussion Type
- discussion topicClarity on (infinity, n)-modules
- Category nLab General Discussions
- Started by Monadic
- Comments 4
- Last comment by Monadic
- Last Active Nov 12th 2016

- Discussion Type
- discussion topicpersonal web space request
- Category nLab General Discussions
- Started by Noam_Zeilberger
- Comments 11
- Last comment by DavidRoberts
- Last Active Nov 10th 2016

- Discussion Type
- discussion topicPseudomonoids
- Category nLab General Discussions
- Started by lentic catachresis
- Comments 6
- Last comment by Jon Beardsley
- Last Active Nov 7th 2016

- Discussion Type
- discussion topic"Canonical" functor from E_n algebras into Pois_n algebras?
- Category nLab General Discussions
- Started by JoWing
- Comments 3
- Last comment by Todd_Trimble
- Last Active Oct 26th 2016

- Discussion Type
- discussion topicThe homotopy theory of modal type theories?
- Category nLab General Discussions
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Oct 15th 2016

- Discussion Type
- discussion topicWhy is a (0,1)-topos a cHa?
- Category nLab General Discussions
- Started by sherman
- Comments 11
- Last comment by Mike Shulman
- Last Active Oct 1st 2016

- Discussion Type
- discussion topicInstantons on S^5
- Category nLab General Discussions
- Started by DavidRoberts
- Comments 2
- Last comment by DavidRoberts
- Last Active Sep 21st 2016

- Discussion Type
- discussion topicInfinite judgements
- Category nLab General Discussions
- Started by Thomas Holder
- Comments 15
- Last comment by Thomas Holder
- Last Active Sep 6th 2016

- Discussion Type
- discussion topicTowers
- Category nLab General Discussions
- Started by Tim_Porter
- Comments 5
- Last comment by Urs
- Last Active Aug 30th 2016

- Discussion Type
- discussion topicrelational physics?
- Category nLab General Discussions
- Started by gmlewis
- Comments 10
- Last comment by gmlewis
- Last Active Aug 28th 2016

- Discussion Type
- discussion topicReference--result quoted on nLab page for Filters
- Category nLab General Discussions
- Started by tyler bryson
- Comments 4
- Last comment by TobyBartels
- Last Active Aug 27th 2016

- Discussion Type
- discussion topicRegarding bifunctors and "bifunctorality"
- Category nLab General Discussions
- Started by fastlane69
- Comments 5
- Last comment by fastlane69
- Last Active Aug 15th 2016

- Discussion Type
- discussion topicdense sub-site
- Category nLab General Discussions
- Started by Dexter Chua
- Comments 35
- Last comment by DavidRoberts
- Last Active Aug 15th 2016

- Discussion Type
- discussion topichypergraphs as 2-colored graphs
- Category nLab General Discussions
- Started by Noam_Zeilberger
- Comments 21
- Last comment by Thomas Holder
- Last Active Aug 10th 2016

- Discussion Type
- discussion topicDirected Algebraic Topology
- Category nLab General Discussions
- Started by Tim_Porter
- Comments 4
- Last comment by Tim_Porter
- Last Active Aug 1st 2016

- Discussion Type
- discussion topicExamples of ∞-categories in which finite limits commute with sifted colimits
- Category nLab General Discussions
- Started by Dmitri Pavlov
- Comments 2
- Last comment by Dmitri Pavlov
- Last Active Jul 26th 2016

- Discussion Type
- discussion topicformal group law
- Category nLab General Discussions
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jul 8th 2016

- Discussion Type
- discussion topicCoherence theorem for symmetric lax monoidal functors
- Category nLab General Discussions
- Started by lentic catachresis
- Comments 1
- Last comment by lentic catachresis
- Last Active Jun 30th 2016

- Discussion Type
- discussion topicNumerable Open Cover
- Category nLab General Discussions
- Started by Charles Rezk
- Comments 9
- Last comment by Charles Rezk
- Last Active Jun 30th 2016

- Discussion Type
- discussion topicPoincaré conjecture
- Category nLab General Discussions
- Started by Richard Williamson
- Comments 61
- Last comment by Richard Williamson
- Last Active Jun 27th 2016

- Discussion Type
- discussion topicinjective objects in topological spaces
- Category nLab General Discussions
- Started by Urs
- Comments 3
- Last comment by Todd_Trimble
- Last Active Jun 26th 2016

- Discussion Type
- discussion topicncatlab website correction
- Category nLab General Discussions
- Started by dcromley
- Comments 4
- Last comment by TobyBartels
- Last Active May 20th 2016

- Discussion Type
- discussion topicpolymath-like project
- Category nLab General Discussions
- Started by Richard Williamson
- Comments 33
- Last comment by zskoda
- Last Active May 11th 2016