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.
Our entries formal scheme and formal spectrum need attention. They fail to state their definitions clearly, and in parts to the extent that the main point is lost.
At formal scheme I have tried to clean up a bit right there in the Idea-section. But this needs to be expanded on.
What I really came for to this entry is that I wanted to make explicit the basic example which I now did add as
stub for generalized Calabi-Yau manifold, (for the moment just to record some references)
for completeness, to go alongside MUFr: The bordism theory of -structured manifolds with -structured boundaries, as per the last pages of Conner-Floyd 66 (not sure if there is any more recent account?!)
expanded E6 a bit.
brief category:people
-entry for hyperlinking references at Reissner-Nordström spacetime
am expanding the entry on smooth algebra (aka -rings, see the query box discussion there): more examples, more properties, etc.
But have to interrupt now.
I noticed that we are lacking C-infinity algebra, so I very briefly created a very stubby stub (no time right now…)
brief category:people
-entry for hyperlinking references at Cohomotopy and at Thom space
added the plain traditional definition to J-homomorphism
at smash product I have added after the definition (for pointed sets, currently) pointers to the general discussion of the closed monoidal structure at pointed object and to the article by Elmendorf-Mandell.
Eventually the entry smash product should be written in a bit more generality. But I won’t do it right now.
I have begun giving pointed topological space some content by giving it an Idea-section and then a long list of definitions and construction, all taken from the entry pointed object but specified to the topological case suitably.
(The last few paragraphs not harmonized yet, need to quit now.)
brief category:people
-entry for hyperlinking references at semi-homolorphic 4d Chern-Simons theory
created Hadamard lemma
brief category:people
-entry for hyperlinking references at Cohomotopy
Added here too
brief category:people
-entry, for hyperlinking references at third stable homotopy group of spheres
at morphism of finite presentation I fixed a wrong statement by changing “finitely presented as a module” to “finitely presented as an algebra”. Created stub for finitely presented algebra in the course of this.
am clearing this (duplicate) page and merging its content into Ismar Volić
we were lacking an entry realizability that points to all the related entries (and in fact some entries were asking for just “realizability”).
So I started one. Put in the following Idea-paragraph:
The idea of realizability is essentially that of constructivism, intuitionistic mathematics and the propositions as types paradigm: for instance constructively a proof of an existential quantification consists of constructing a specific and a proof of , which “realizes” the truth of the statement, whence the name (e.g. Vermeeren 09, section 1).
a stub, just to finally make the link work (which has been requested for ages at inhabited set, dominance and inhabited object)
Note to just myself :
The example (here) on the classical Adams spectral sequence has in its source code reference to
theorem \ref{ConvergenceOfEAdamsSpectralSequenceToECompletion}
with example \ref{ExamplesOfEnilpotentLocalizations}
but neither of these two anchors is defined; or not anymore under that anchor name, at least. Need to sort this out and fix it…
a minimum, to make links work at Dubuc topos (and using the paragraph, and nothing else for the moment, that Dmitri has just written there)
added the missing link to monoidal category with diagonals
Created an article for DisCoCat (which is a major industry in the Oxford Quantum Group), plus an incoming link from linguistics
I needed an entry to be able to point to which collects pointers to the various entries on “dualities” in string theory. So I created one: duality in string theory.
a stub, for completeness, to go in the list of examples at programming language
brief category:people
-entry for hyperlinking references at Myers effect
started some minimum, so that our table exceptional spinors and division algebras – table can point somewhere
stub for Chern character
just the blind definition so far, to be expanded later
brief category:people
-entry for hyperlinking references at complex surface and at elliptic fibration
brief category:people
-entry for hyperlinking references at elliptically fibered K3-surface
I have added some discussion to variable.
Not sure if I ever announced this here, the original version is a few months old already. But right now I have added also some sentences on bound variables.
Some more professional logician might please look over this. There will be lots of room to improve on those few sentences that I jotted down, mainly such as to have something there at all.
brief category:people
-entry for hyperlinking references at manifold with corners
brief category:people
-entry for hyperlinking references at lattice gauge theory and elsewhere
added these early references:
Tohru Eguchi, Hikaru Kawai, Reduction of Dynamical Degrees of Freedom in the Large- Gauge Theory, Phys. Rev. Lett. 48, 1063 (1982) (spire:176459, doi:10.1103/PhysRevLett.48.1063)
A. Gonzalez-Arroyo, M. Okawa, A twisted model for large lattice gauge theory, Physics Letters B Volume 120, Issues 1–3, 6 January 1983, Pages 174-178 (doi:10.1016/0370-2693(83)90647-0)
A. Gonzalez-Arroyo, M. Okawa, Twisted-Eguchi-Kawai model: A reduced model for large- lattice gauge theory, Phys. Rev. D 27, 2397 (1983) (doi:10.1103/PhysRevD.27.2397)