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.
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!)
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
at normed division algebra it used to say that “A normed field is either ℝ or ℂ. ” I have changed that to “a normed field over ℝ is…” and changed normed field from being a redirect to “normed division algebra” to instead being an entry on its own.
I am trying to imrpove the complex of entries revolving around the Hurwitz theorem. I am not done yet at all, but since in the process I am touching a lot of entries, I thought I’d drop a note now for those anxiously following the RecentlyRevised notifications.
So I gave Hurwitz theorem its own entry, first of all, cross linking to the details (a proof,in fact), that may be found at composition algebra, but which previously could not be found from normed division alegbra. Now there are cross-links.
I also tried to add more references, but this needs work. It seems that Wikipedia says both that the source is
as well as that “was published posthumously in 1923”.
But I haven’t really spent much effort yet to check.
I also added cross-links with Hopf invariant one, but this is plain stubby for the moment.
added pointer to today’s article by Ross Street:
A general abstract formulation of Rost 96 in terms of string diagrams in additive braided monoidal categories is in
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
differential algebra, just for completeness
expanded homomorphism
I have tried to polish polynomial a little.
I created another floating TOC additive and abelian categories - contents and added it to the relevant entries
added pointer to:
Added section In homotopy theory to nPOV.
This was written to go with this blog discussion. It's meant only as a first draft. Please have a look and improve!
More generally, in any category C, a monomorphism iU:U↪X, and a morphism f:X→Y, the restriction f|U:U→Y of f onto U is the precomposition f|U≔f∘iU of f by iU. A subobject is an equivalence class of monomorphisms. For a different representative of the subobject, i˜U:˜U→X there is a unique isomorphism b:U→˜U such that i˜U∘b=iU, hence f˜U=f∘b.
I have briefly recorded the equivalence of FinSetop with finite Booplean algebras at FinSet – Properties – Opposite category. Then I linked to this from various related entries, such as finite set, power set, Stone duality, opposite category.
(I thought we long had that information on the nLab, but it seems we didn’t)
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.