Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added pointer to:
a stand-alone sub-section, to be !include
-ed at moduli space of super Riemann surfaces and at super Riemann surface, for ease of synchronization
a bare subsection with a list of references, to be !include
-ed at super Riemann surface and at moduli space of super Riemann surfaces, for ease of synchronization
created a stub for super Riemann surface, just to record Witten’s latest
a bare list of references, to be !includ
-ed into the list of references of relevant entries, such as at quantum computing and quantum programming, for ease of updating and syncing
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 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.
a stub, to make links work
(This used to be a stub “quantum circuit” which I just quasi-duplicated at a more extensive entry quantum circuit diagram. But since quantum gate was already redirecting here – which is how I discovered/remembered that this entry exists – no harm is done by making that it’s new title.)
in order to satisfy links, but maybe really in procrastination of other duties, I wrote something at quantum gravity
An entry of this title had long been requested by various other entries (such as at structural rule).
added pointer to:
Somebody from the technical team kindly alerted me that we have a full .mov
copy of the video recording of Kapranov 2013 sitting on the nLab server – which is strange (but also lucky), does anyone know/remember how this came to be?
In trying to understand what’s going on, I noticed that the relevant YouTube link at Kapranov 2013 had died (“private”) as had my original video link from comment #5 in the original thread. Also the links to the hosting conference had meanwhile rotted away.
I have now
recovered the conference links via the WaybackMachine,
added the link to our local copy of the video recording
and am also uploading the video to YouTube.
Am propagating these edits also to other entries where Kapranov’s talk is referenced, such as at Mikhail Kapranov and at spectral super-scheme.
I have split of super 2-algebra from super algebra. It’sa stub. Currently the only content is to provide the pointers into the video of Kapranov’s talk (minutes:seconds.)
Slight extension and new links. However the entry overlaps with more generally scoped entry dual gebra; the overlap will be planned and resolved at a later stage.
polsihed the defnition at Segal category slightly and added a remark on how composition here is an infinity-anafunctor.
I have expanded vertex operator algebra (more references, more items in the Properties-section) in partial support to a TP.SE answer that I posted here
added pointer to:
following discussion here I am starting an entry with a bare list of references (sub-sectioned), to be !include
-ed into the References sections of relevant entries (mainly at homotopy theory and at algebraic topology) for ease of updating and syncing these lists.
The organization of the subsections and their items here needs work, this is just a start. Let’s work on it.
I’ll just check now that I have all items copied, and then I will !include
this entry here into homotopy theory and algebraic topology. It may best be viewed withing these entries, because there – but not here – will there be a table of contents showing the subsections here.
finally an Idea-section at Poincaré duality.
(Needs more work, clearly, but should be a start)
stub for von Neumann algebra factor
“Cauchy completion” and related things were redirecting to both Cauchy complete category and complete space, so I made a disambiguation page.
Added
P.S. erased later, the reference is not directly appropriate for this entry.
Added the original references
Updated a smidgen to cross-reference with simplicial resolution.
created quotient module
added pointer to
where on the bottom of p. 9 I find
Leibniz rejects nilsquare and nilcube infinitesimals, which are alto-gether incompatible with his approach to differential calculus,
So if not Leibniz, who can be credited with first considering nilpotent infinitesimals?
I made explicit a subsection on Topos-theoretic models at nonstandard analysis.
Not much there yet, though. I don't really fully understand this yet, but I thought I'd start recording some aspects.