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 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 differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory 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 limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology natural 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 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 topicYoneda lemma - contents
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 15th 2021

- Discussion Type
- discussion topicYoneda lemma for higher categories
- Category Latest Changes
- Started by nLab edit announcer
- Comments 5
- Last comment by Urs
- Last Active Apr 15th 2021

- Discussion Type
- discussion topiceffective epimorphism in an (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 22
- Last comment by nLab edit announcer
- Last Active Apr 15th 2021

- Discussion Type
- discussion topicstuff, structure, property
- Category Latest Changes
- Started by Urs
- Comments 22
- Last comment by David_Corfield
- Last Active Apr 15th 2021

- Discussion Type
- discussion topicparticle
- Category Latest Changes
- Started by Urs
- Comments 23
- Last comment by Urs
- Last Active Apr 15th 2021

- Discussion Type
- discussion topicD=4 supergravity
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Apr 15th 2021

- Discussion Type
- discussion topicstandard model of particle physics
- Category Latest Changes
- Started by Urs
- Comments 13
- Last comment by Urs
- Last Active Apr 15th 2021

- Discussion Type
- discussion topictangent category
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by n.mertes
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicholonomy group
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 1
- Last comment by Dmitri Pavlov
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicW*-representation
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 1
- Last comment by Dmitri Pavlov
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicHilbert W*-module
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 1
- Last comment by Dmitri Pavlov
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicHilbert module
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Dmitri Pavlov
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicduality between algebra and geometry
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 3
- Last comment by Urs
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicChern class
- Category Latest Changes
- Started by Urs
- Comments 27
- Last comment by Dmitri Pavlov
- Last Active Apr 14th 2021

- Discussion Type
- discussion topictopological G-space
- Category Latest Changes
- Started by Urs
- Comments 16
- Last comment by Urs
- Last Active Apr 14th 2021

- Discussion Type
- discussion topichyperstonean space
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 2
- Last comment by Dmitri Pavlov
- Last Active Apr 14th 2021

- Discussion Type
- discussion topiccommutative von Neumann algebra
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 2
- Last comment by Dmitri Pavlov
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicvon Neumann algebra
- Category Latest Changes
- Started by spitters
- Comments 2
- Last comment by Dmitri Pavlov
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicEI-category
- Category Latest Changes
- Started by David_Corfield
- Comments 4
- Last comment by Urs
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicDavid Marzocca
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicStone duality
- Category Latest Changes
- Started by TobyBartels
- Comments 20
- Last comment by Urs
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicflavour anomaly
- Category Latest Changes
- Started by Urs
- Comments 165
- Last comment by Urs
- Last Active Apr 14th 2021

- Discussion Type
- discussion topicbasic localizer
- Category Latest Changes
- Started by Zhen Lin
- Comments 14
- Last comment by Richard Williamson
- Last Active Apr 13th 2021

- Discussion Type
- discussion topicPower law
- Category Latest Changes
- Started by nLab edit announcer
- Comments 7
- Last comment by Richard Williamson
- Last Active Apr 13th 2021

- Discussion Type
- discussion topicHopf algebroid
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by zskoda
- Last Active Apr 13th 2021

- Discussion Type
- discussion topictwisted equivariant cohomology
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 13th 2021

- Discussion Type
- discussion topicChi-Kwong Fok
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 13th 2021

- Discussion Type
- discussion topictwisted ad-equivariant K-theory
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Apr 13th 2021

- Discussion Type
- discussion topicHigher Topos Theory
- Category Latest Changes
- Started by Mike Shulman
- Comments 3
- Last comment by Hurkyl
- Last Active Apr 13th 2021

- Discussion Type
- discussion topicWirthmüller context
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 13th 2021

- Discussion Type
- discussion topicSergey Antonyan
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 13th 2021

- Discussion Type
- discussion topicslice theorem
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active Apr 13th 2021

- Discussion Type
- discussion topicCalabi-Yau category
- Category Latest Changes
- Started by Urs
- Comments 24
- Last comment by nLab edit announcer
- Last Active Apr 13th 2021

- Discussion Type
- discussion topicproper action
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Apr 13th 2021

- Discussion Type
- discussion topiclocally compact topological space
- Category Latest Changes
- Started by Urs
- Comments 60
- Last comment by Urs
- Last Active Apr 13th 2021

- Discussion Type
- discussion topicuniverse polymorphism
- Category Latest Changes
- Started by DavidRoberts
- Comments 2
- Last comment by Mike Shulman
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicRécoltes te semailles
- Category nLab
- Started by mateocarmonagm
- Comments 2
- Last comment by Richard Williamson
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicRiemannian geometry
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicRiemannian manifold
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicJohn Lee
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicCartan's closed subgroup theorem
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Dmitri Pavlov
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicJeffrey M. Lee
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 1
- Last comment by Dmitri Pavlov
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicEyup Yalcinkaya
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicclosed subgroup
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Apr 12th 2021

- Discussion Type
- discussion topic(infinity,1)-pretopos
- Category Latest Changes
- Started by Urs
- Comments 23
- Last comment by Mike Shulman
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicsetoid
- Category Latest Changes
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicequivalence relation
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Mike Shulman
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicBishop set
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by Mike Shulman
- Last Active Apr 12th 2021

- Discussion Type
- discussion topictangent bundle
- Category Latest Changes
- Started by Urs
- Comments 14
- Last comment by David_Corfield
- Last Active Apr 12th 2021

- Discussion Type
- discussion topiccoset space coprojection admitting local sections
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Apr 12th 2021

- Discussion Type
- discussion topicTannaka duality
- Category Latest Changes
- Started by Urs
- Comments 56
- Last comment by nLab edit announcer
- Last Active Apr 11th 2021

- Discussion Type
- discussion topicaction
- Category Latest Changes
- Started by Urs
- Comments 34
- Last comment by Urs
- Last Active Apr 11th 2021

- Discussion Type
- discussion topicconformally flat manifold
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Apr 11th 2021

- Discussion Type
- discussion topicVergleichende Betrachtungen über neuere geometrische Forschungen
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 11th 2021

- Discussion Type
- discussion topicKlein geometry
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Apr 11th 2021

- Discussion Type
- discussion topictopological group
- Category Latest Changes
- Started by Todd_Trimble
- Comments 29
- Last comment by Urs
- Last Active Apr 11th 2021

- Discussion Type
- discussion topicquotient category
- Category Latest Changes
- Started by Mike Shulman
- Comments 3
- Last comment by zskoda
- Last Active Apr 10th 2021

- Discussion Type
- discussion topictorsion theory, quotient category
- Category Latest Changes
- Started by zskoda
- Comments 32
- Last comment by zskoda
- Last Active Apr 10th 2021

- Discussion Type
- discussion topiccondensed set
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 47
- Last comment by Dmitri Pavlov
- Last Active Apr 10th 2021

- Discussion Type
- discussion topicAlexis Toumi
- Category Latest Changes
- Started by alexis.toumi
- Comments 3
- Last comment by alexis.toumi
- Last Active Apr 10th 2021