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 to BF-theory the reference that right now I am believing is the earliest one:
Gary Horowitz, Exactly soluable diffeomorphism invariant theories Commun. Math. Phys. 125, 417-437 (1989)
But maybe I am wrong. Does anyone have an earlier one? I saw pointers to A. Schwarz articles from the late 70s, but I am not sure if he really considered BF as such.
I added a little bit to maximal ideal (first, a first-order definition good for commutative rings, and second a remark on the notion of scheme, adding to what Urs wrote about closed points).
The second bit is almost a question to myself: I don’t feel I really grok the notion of scheme (why it’s this and not something slightly different that’s the natural definition, the Tao if you like). In particular, it’s where fields – simple objects in the category of commutative rings – make their entrance in the notion of covering by affine opens that I don’t feel I really understand.
Added:
A survey of various notions between unital rings and nonunital rings:
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
Trivial edit to start discussion.
What’s happening at the start here? We have both tropical rig and semiring defined. The latter is given with the extension by {∞}. Is this just duplication with a mistake?
At semiring having given 4 definitions, it says
The nLab uses the second definition to define a semiring, and the fourth definition to define a rig. The first and third are then called nonunital semirings and nonunital rigs respectively.
Do we really have this as a policy?
Created Moufang loop and some links. It would be good to update the proof that the tangent bundle of a Lie group is trivial to include the case of the tangent bundle of a smooth Moufang loop.
a stub (please expand whoever has the energy), for better disambiguation with loop (topology)
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
added missing pointer to commutative monoid in a symmetric monoidal category
I have touched the Idea-section, trying to streamline a little.
In particular I added cross-links with magma and Moufang loop.
changed higher algebra - contents to algebra - contents in context sidebar.
But also, isn’t this just the same as a semigroup?
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
I have added to alternative algebra the characterization in terms of skew-symmetry of the associator.
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
Added the definition of “basic triples” of octonions, and the statement that they form a torsor over Aut(𝕆)=G2.
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
I have made explicit the example of involutive Hopf algebras, and how most of the other examples previously listed here are special cases of this one. Also expanded a little and organized it all into a new Examples-subsection (here)
created stub for Jordan-Lie-Banach algebra
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
stub for Poisson algebra
stub right now, I hope to write about some of the smooth and analytic properties of real-valued cubic functions and their inverses in the same way I did for real quadratic functions
Anonymous
I wrote out a proof which uses very little machinery at fundamental theorem of algebra. It is just about at the point where it is not only short and rigorous, but could be understood by an eighteenth-century mathematician. (Nothing important, just fun!)