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 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 constructive-mathematics cosmology definitions 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-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories newpage noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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 stack string-theory subobject 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 topicneural network
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by David_Corfield
- Last Active 3 days ago

Stub. For the moment just for providing a place to record this reference:

- Jean Thierry-Mieg,
*Connections between physics, mathematics and deep learning*, Letters in High Energy Physics, vol 2 no 3 (2019) (doi:10.31526/lhep.3.2019.110)

- Jean Thierry-Mieg,

- Discussion Type
- discussion topicend compactification
- Category Latest Changes
- Started by Todd_Trimble
- Comments 8
- Last comment by Mike Shulman
- Last Active 3 days ago

Added some material to end compactification (fixed minor errors, added an application). I had not been aware that the theory of ends was invented by Freudenthal in his dissertation.

- Discussion Type
- discussion topicSullivan model of loop space
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Urs
- Last Active 3 days ago

I have created

*Sullivan model of free loop space*with the formula and pointers to the literature.

- Discussion Type
- discussion topiccertified programming
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active 3 days ago

I created a stub

*certified programming*.That’s motivated from me having expanded the Idea-section at

*type theory*. I enjoyed writing the words “is used in industry”. There are not many $n$Lab pages where I can write these words.I am saying this only half-jokingly. Somehow there is something deep going on.

Anyway, in (the maybe unlikely) case that somebody reading this here has lots of information about the use and relevance of certified programming in industry, I’d enjoy seeing more information added to that entry.

- Discussion Type
- discussion topicfluid/gravity correspondence
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

- Discussion Type
- discussion topicone-point compactification
- Category Latest Changes
- Started by Urs
- Comments 18
- Last comment by Urs
- Last Active 3 days ago

tried to polish one-point compactification. I think in the process I actually corrected it, too. Please somebody have a close look.

- Discussion Type
- discussion topicMukund Rangamani
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

brief

`category:people`

-entry for hyperlinking references at*fluid/gravity correspondence*

- Discussion Type
- discussion topicVeronika Hubeny
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

brief

`category:people`

-entry for hyperlinking references at*fluid/gravity correspondence*

- Discussion Type
- discussion topicSayantani Bhattacharyya
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 3 days ago

brief

`category:people`

-entry for hyperlinking references at*fluid/gravity correspondence*

- Discussion Type
- discussion topicgradient flow
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 3 days ago

stub for gradient flow

- Discussion Type
- discussion topicCourant algebroid
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active 3 days ago

I tried to polish the "Idea" and the "References" section at Courant algebroid to something more comprehensive.

- Discussion Type
- discussion topic2-polycategory
- Category Latest Changes
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active 4 days ago

- Discussion Type
- discussion topicdouble Chu construction
- Category Latest Changes
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active 4 days ago

- Discussion Type
- discussion topicdouble polycategory
- Category Latest Changes
- Started by Mike Shulman
- Comments 1
- Last comment by Mike Shulman
- Last Active 4 days ago

- Discussion Type
- discussion topicdouble gluing
- Category Latest Changes
- Started by Sam Staton
- Comments 9
- Last comment by Mike Shulman
- Last Active 4 days ago

- Discussion Type
- discussion topicmoduli spaces -- contents
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicmoduli space of monopoles
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active 4 days ago

starting something, but nothing here yet. For the moment this is just a home for

- Michael Atiyah, Nigel Hitchin,
*The geometry and dynamics of magnetic monopoles*M. B. Porter Lectures. Princeton University Press, Princeton, NJ, 1988 (jstor:j.ctt7zv206)

- Michael Atiyah, Nigel Hitchin,

- Discussion Type
- discussion topicGraeme Segal
- Category Latest Changes
- Started by Andrew Stacey
- Comments 11
- Last comment by Urs
- Last Active 4 days ago

There has GOT to be a better photograph than that! Is there anyone here in Oxford? Can they go and get a picture for us?

- Discussion Type
- discussion topicBogomolny equation
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicComma Double Category
- Category Latest Changes
- Started by maxsnew
- Comments 6
- Last comment by Mike Shulman
- Last Active 4 days ago

I started comma double category. Since I care about equipments more than double categories in general, and because it actually is an instance of a comma object, I made the article mostly about virtual double categories. I wrote down a couple of conjectures about when the comma has units and composites, but haven’t verified them yet and not sure when I will.

- Discussion Type
- discussion topicNahm transform
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active 4 days ago

- Discussion Type
- discussion topicJoyal's Cat Lab
- Category Latest Changes
- Started by Urs
- Comments 40
- Last comment by Dmitri Pavlov
- Last Active 5 days ago

for the five topics listed at HomePage (joyalscatlab) I added references to the corresponding nLab entries

for instance for model categories here.

- Discussion Type
- discussion topicChu construction
- Category Latest Changes
- Started by Mike Shulman
- Comments 3
- Last comment by Mike Shulman
- Last Active 5 days ago

- Discussion Type
- discussion topicvaluation (measure theory)
- Category Latest Changes
- Started by Urs
- Comments 20
- Last comment by PaoloPerrone
- Last Active 5 days ago

- Discussion Type
- discussion topicstar-polycategory
- Category Latest Changes
- Started by Sam Staton
- Comments 9
- Last comment by Todd_Trimble
- Last Active 5 days ago

After this discussion at string diagrams for linearly distributive categories with unit = counit, I finally got round to having a go at making star-polycategory. Still much more to do. Hopefully I didn’t make any major mistakes so far.

- Discussion Type
- discussion topicintersecting D-brane model
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active 5 days ago

**Edit to**: intersecting D-brane model by Urs Schreiber at 2018-04-01 00:55:01 UTC.**Author comments**:hyperlinked pointer to textbook by Ibanez-Uranga

- Discussion Type
- discussion topicfunctional programming
- Category Latest Changes
- Started by AlexisHazell
- Comments 3
- Last comment by AlexisHazell
- Last Active 6 days ago

- Discussion Type
- discussion topicEugenia Cheng
- Category Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active 6 days ago

- Discussion Type
- discussion topicJeff Giansiracusa
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active 6 days ago

- Discussion Type
- discussion topic!-modality
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Mike Shulman
- Last Active 6 days ago

collected some references on the interpretation of the !-modality as the Fock space construction at

*!-modality*.Cross-linked briefly with he stub entries_Fock space_ and

*second quantization*.