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 topicempirical mean
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active Jul 15th 2024

- Discussion Type
- discussion topiclaw of large numbers
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active Jul 15th 2024

- Discussion Type
- discussion topicergodic decomposition theorem
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active Jul 15th 2024

- Discussion Type
- discussion topicdouble profunctor
- Category Latest Changes
- Started by Mike Shulman
- Comments 7
- Last comment by varkor
- Last Active Jul 15th 2024

Wrote a bit at double profunctor.

- Discussion Type
- discussion topicKirti Joshi
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by nLab edit announcer
- Last Active Jul 15th 2024

brief

`category:people`

-entry for satisfying links now requested at*p-adic Teichmüller theory*

- Discussion Type
- discussion topicG-d-operad
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by DavidRoberts
- Last Active Jul 14th 2024

- Discussion Type
- discussion topicfiberwise core
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Jul 14th 2024

- Discussion Type
- discussion topic(infinity,1)-operad
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by nLab edit announcer
- Last Active Jul 14th 2024

have added to (infinity,1)-operad the basics for the “$(\infty,1)$-category of operators”-style definition

- Discussion Type
- discussion topicd-operad
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 14th 2024

- Discussion Type
- discussion topicZX-calculus
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Jul 14th 2024

- Discussion Type
- discussion topicbig site
- Category Latest Changes
- Started by jesuslop
- Comments 3
- Last comment by Urs
- Last Active Jul 14th 2024

- Discussion Type
- discussion topicaction groupoid
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by nLab edit announcer
- Last Active Jul 13th 2024

added to action groupoid a section on action oo-groupoids

- Discussion Type
- discussion topiczero-one measure
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active Jul 13th 2024

- Discussion Type
- discussion topicinvariant set
- Category Latest Changes
- Started by PaoloPerrone
- Comments 10
- Last comment by Urs
- Last Active Jul 13th 2024

- Discussion Type
- discussion topicsober measurable space
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active Jul 13th 2024

- Discussion Type
- discussion topicfirst stable homotopy group of spheres
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Urs
- Last Active Jul 13th 2024

starting something, to go along with

*third stable homotopy group of spheres*

- Discussion Type
- discussion topiccellular homology
- Category Latest Changes
- Started by Todd_Trimble
- Comments 11
- Last comment by Urs
- Last Active Jul 13th 2024

I added to Tim’s stub on cellular homology. Still a bit rough around the edges perhaps. An example (say real projective space) would also be nice.

- Discussion Type
- discussion topicparametrized spectrum
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Jul 13th 2024

prompted by this MO question I saw that our entry

*parameterized spectrum*was a bit thin on information. I have now at least briefly added a section*Yoga of six functors*with mentioning of and pointers to the Wirthmüller context property, the Beck-Chevalley condition and the interpretation as linear homotopy type theory.

- Discussion Type
- discussion topiccohomology ring
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 13th 2024

added pointer to:

- Thomas Lamiaux:
*Computing Cohomology Rings in Cubical Agda*, talk at*Running HoTT 2024*, CQTS@NYUAD (April 2024) [video:kt]

- Thomas Lamiaux:

- Discussion Type
- discussion topicG-symmetric sequence
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicSteve Awodey
- Category Latest Changes
- Started by nLab edit announcer
- Comments 12
- Last comment by Urs
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicmaximal ideal
- Category Latest Changes
- Started by Todd_Trimble
- Comments 24
- Last comment by AreshP
- Last Active Jul 12th 2024

I added a little bit to maximal ideal (first, a first-order definition good for commutative rings, and second a remark on the notion of scheme, adding to what Urs wrote about closed points).

The second bit is almost a question to myself: I don’t feel I really grok the notion of scheme (why it’s this and not something slightly different that’s the natural definition, the Tao if you like). In particular, it’s where

*fields*– simple objects in the category of commutative rings – make their entrance in the notion of covering by affine opens that I don’t feel I really understand.

- Discussion Type
- discussion topicempirical distribution
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active Jul 12th 2024

- Discussion Type
- discussion topiclocalized coinvariant
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active Jul 12th 2024

Added redirect coaction compatible localization and split the entry into sections.

- Discussion Type
- discussion topicC.B. Aberlé
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by nLab edit announcer
- Last Active Jul 12th 2024

category: people page for the reference

- C.B. Aberlé,
*Parametricity via Cohesion*[arXiv:2404.03825]

Anonymouse

- C.B. Aberlé,

- Discussion Type
- discussion topiczero-one kernel
- Category Latest Changes
- Started by PaoloPerrone
- Comments 2
- Last comment by PaoloPerrone
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicAmar Hadzihasanovic
- Category Latest Changes
- Started by David_Corfield
- Comments 5
- Last comment by nLab edit announcer
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicdiagrammatic set
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicatom category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicgeometric shape for higher structures
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 2
- Last comment by nLab edit announcer
- Last Active Jul 12th 2024

- Discussion Type
- discussion topiccondensed set
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 71
- Last comment by varkor
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicergodicity
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active Jul 12th 2024

Changed name to the page to the more general concept of “ergodicity”. (Several things can be ergodic: measures, stochastic processes, dynamical systems, etc., but the idea is basically always the same.)

More content to be added soon.

The page could benefit from some more physics content, since I mostly know the probability theory side.

- Discussion Type
- discussion topicinvariant measure
- Category Latest Changes
- Started by PaoloPerrone
- Comments 2
- Last comment by PaoloPerrone
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicinvariant
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicMilnor mu-bar invariant
- Category Latest Changes
- Started by Andrew Stacey
- Comments 5
- Last comment by Urs
- Last Active Jul 12th 2024

I wanted to understand Milnor’s paper on Link Groups, so I basically rewrote the main bits in to Milnor mu-bar invariants. (I don’t understand the difference between $\mu$-invariants and $\bar{\mu}$-invariants, but I was only working on the original paper so presumably haven’t gotten that far yet.)

I even put a TOC in so Urs will be happy!

- Discussion Type
- discussion topicregular directed complex
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by nLab edit announcer
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicelliptic cohomology -- references
- Category Latest Changes
- Started by Urs
- Comments 9
- Last comment by Urs
- Last Active Jul 12th 2024

a bare list of references, to be

`!include`

-ed into relevant entries, such as at*elliptic cohomology*, but also at*equivariant elliptic cohomology*,*elliptic genus*,*Witten genus*etc.(in an attempt to clean up and harmonize the referencing across all these entries – still some way to go towards that goal, but it should be a start)

- Discussion Type
- discussion topicPolyakov action
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by Urs
- Last Active Jul 12th 2024

polished up this bibitem and added hyperlinks to the actual article:

- Alexander Polyakov,
*Quantum geometry of bosonic strings*, Phys. Lett. B**103**(1981) 207-210 [doi:10.1016/0370-2693(81)90743-7, pdf]

- Alexander Polyakov,

- Discussion Type
- discussion topicequivariant linear isometries operad
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicCantor-Schroeder-Bernstein theorem
- Category Latest Changes
- Started by Mike Shulman
- Comments 21
- Last comment by DavidRoberts
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicG-stability
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicequivariant factorization homology
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 12th 2024

- Discussion Type
- discussion topicinter-universal Teichmüller theory
- Category Latest Changes
- Started by Urs
- Comments 148
- Last comment by DavidRoberts
- Last Active Jul 11th 2024

added to

*inter-universal Teichmüller theory*a pointer to the recent note- Yamashita,
*FAQ on ‘Inter-Universality’*(pdf)

(Though after reading I am not sure if that note helps so much.)

- Yamashita,

- Discussion Type
- discussion topicŁoś ultraproduct theorem
- Category Latest Changes
- Started by jesse
- Comments 8
- Last comment by Shamrock
- Last Active Jul 11th 2024

To fix a grey link, I started a page for the Łoś theorem.

On a side note, should the pages ultrapower and ultraproduct maybe be merged?

- Discussion Type
- discussion topicNatalie Stewart
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Urs
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicde Finetti's theorem
- Category Latest Changes
- Started by PaoloPerrone
- Comments 5
- Last comment by PaoloPerrone
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicEV operads
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicsampling map
- Category Latest Changes
- Started by PaoloPerrone
- Comments 1
- Last comment by PaoloPerrone
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicequivariant symmetric monoidal category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by nLab edit announcer
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicFrançois Bruhat
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicsymmetric space
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicconvex mixture
- Category Latest Changes
- Started by PaoloPerrone
- Comments 4
- Last comment by PaoloPerrone
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicexchangeability
- Category Latest Changes
- Started by PaoloPerrone
- Comments 4
- Last comment by PaoloPerrone
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicstandard model of particle physics
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by Urs
- Last Active Jul 11th 2024

**Edit to**: standard model of particle physics by Urs Schreiber at 2018-04-01 01:15:37 UTC.**Author comments**:added textbook reference

- Discussion Type
- discussion topicworldline formalism
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by Urs
- Last Active Jul 11th 2024

created

*worldline formalism*to go with this Physics.SE answer

- Discussion Type
- discussion topicgeometric realization of categories
- Category Latest Changes
- Started by nLab edit announcer
- Comments 9
- Last comment by DavidRoberts
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicindexed coproduct
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Urs
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicG-semiadditivity
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Jul 11th 2024

- Discussion Type
- discussion topiciid random variables
- Category Latest Changes
- Started by PaoloPerrone
- Comments 2
- Last comment by Urs
- Last Active Jul 11th 2024

- Discussion Type
- discussion topicribbon category
- Category Latest Changes
- Started by nLab edit announcer
- Comments 8
- Last comment by nLab edit announcer
- Last Active Jul 11th 2024