# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• 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)
• 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.

• 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.

• starting something

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

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

• stub

• Stub with very brief definition

• Created stub

• Page on double glueing

• entry to be !include-ed in other entries for ease of cross-linking

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

• 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?

• a stub, for the moment

• 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.

• starting something. Nothing really there yet. But need to save.

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

for instance for model categories here.

• a stub, as requested here

• Edit to: intersecting D-brane model by Urs Schreiber at 2018-04-01 00:55:01 UTC.