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.
I tried to implement the connection between D-modules and quasicoherent sheaves a bit more
added to D-module the alternative definition in terms of quasicoherent sheaves of the deRham space
added to deRham space accordingly a pointer to D-modules (also fixed wrong notation in the formulas there)
added to quasicoherent sheaf at the very bottom a pointer to D-modules.
This needs improving. Notably good references should be given.
I have expanded the Idea section at state on a star-algebra and added a bunch of references.
The entry used to be called “state on an operator algebra”, but I renamed it (keeping the redirect) because part of the whole point of the definition is that it makes sense without necessarily having represented the “abstract” star-algebra as a C*-algebra of linear operators.
Moved talk by McLarty to the History section of the refernces from functorial geometry
Person entry, required at standard monomial.
Standard monomial theory for flag varieties and Schubert varieties.
a bare list of references, to be !include
-ed into the References-sections of relevant entries (such as knot homology, topological string theory) for ease of synchronization
I have added to homotopy group a very brief pointer to Mike’s HoTT formalization of .
Eventually I would like to have by default our Lab entries be equipped with detailed pointers to which aspects have been formalized in HoTT (if they have), and in which .v-file precisely.
created placeholder for Hurewicz theorem
Added references on Fox derivative.
have created an entry Khovanov homology, so far containing only some references and a little paragraph on the recent advances in identifying the corresponding TQFT. I have also posted this to the Café here, hoping that others feel inspired to work on expanding this entry
I have split off an entry homotopy in a model category from homotopy and then spelled out statement and proof of the basic lemmas.
this is a bare list of references, to be !include
-ed into relevant entries
(various parts of this list have been contained at Cohomotopy, Cohomotopy charge map, Thom’s theorem, Pontryagin-Thom construction and elsewhere; this here now to ease harmonizing/completing these lists)
brief category:people
-entry for hyperlinking references at supergeometry supermanifolds, super Lie groups, functorial geometry
I have spelled out statement and proof of:
every reflection is a reflective localization,
reflective localizations are given by full subcategories of local objects.
I have also tried to produce decent cross-links to various entries that mention something related. But there will be more left to do.
I am starting higher Segal space (while sitting in a talk by Mikhail Kapranov about them…)
I removed some spam on category theory.
[spam]
Actually, taking a look at the Sandbox, it's a bit full up and could do with a clean out (I shan't comment on what one usually finds in sandboxes in children's playgrounds ...). I propose we copy any serious words of wisdom to the HowTo, blank the Sandbox, and replace with a link to its own history.
I know, I know, it's a wiki so I ought to just do it, but I figured that this was something I should get some consensus on first to see if it's just me that doesn't like it.
rescued planetmath link and added Wiki link
planetmath: Nicolae Popescu (mathematician) Broken Internet Archive
Wikipedia: Nicolae Popescu
I gave Drinfel’d double an Idea-section.
Also moved a paragraph on module categories from the References to a Properties-section.
started a Properties-section at Lawvere theory with some basic propositions.
Would be thankful if some experts looked over this.
Also added the example of the theory of sets. (A longer list of examples would be good!) And added the canonical reference.