Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • Added the definition of “basic triples” of octonions, and the statement that they form a torsor over Aut(𝕆)=G2.

    • I am giving this its own page, in order to have a way to point to quaternionic conjugation etc.

      (Previously “complex conjugation” just redirected to “complex number”.)

      v1, current

    • made explicit the alternative form of the definition (here) in terms of adjoining a generator and imposing relations

      diff, v17, current

    • PhD-thesis on categorical aspects of vN-algebras. We’ll probably want to include more results from it.

      diff, v50, current

    • 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)

      diff, v14, current

    • a stub, for the moment just to satisfy some links

      v1, current

    • an algebra with a two-sided inverse for all non-zero elements

      Anonymous

      v1, current

    • 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

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • starting article on a degree of a polynomial, since its entry in the disambiguation page degree linked to a nonexistent page.

      Anonymous

      v1, current

    • 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!)

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • 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.

    • Rewriting to prioritize a more standard definition of “division algebra,” while preserving the material and citation to Baez’s less standard version.

      diff, v10, current

    • 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

      • Adolf Hurwitz, Über die Composition der quadratischen Formen von beliebig vielen Variabeln, Nachr. Ges. Wiss. Göttingen (1898) 309–316

      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.

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • adding disambiguation message at top of page for the term “monic”

      Anonymous

      diff, v3, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Add locality proposition for torsion-free modules.

      Damien Lejay

      diff, v11, current

    • starting page for linear algebra contents

      Anonymouse

      v1, current

    • creating algebra contents

      Anonymouse

      v1, current

    • starting page on impredicative dependent type theory

      Anonymouse

      v1, current

    • Quite a few references added, some of which are also scattered in nLab, some not.

      diff, v7, current

    • starting page on globally univalent bicategories

      Anonymouse

      v1, current

    • added pointer to:

      • Marc Bezem, Ulrik Buchholtz, Pierre Cagne, Bjørn Ian Dundas, Daniel R. Grayson: Chapter 8 of: Symmetry (2021) [pdf]

      diff, v35, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • More generally, in any category C, a monomorphism iU:UX, and a morphism f:XY, the restriction f|U:UY of f onto U is the precomposition f|UfiU of f by iU. A subobject is an equivalence class of monomorphisms. For a different representative of the subobject, i˜U:˜UX there is a unique isomorphism b:U˜U such that i˜Ub=iU, hence f˜U=fb.

      diff, v4, current

    • 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)

    • I came across a reference to these, so started something.

      v1, current

    • 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.

      diff, v61, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • A few words and an hyperlink to a page where I will put my conjectural characterization of symmetric powers in symmetric monoidal categories enriched over modules over a +-algebra.

      diff, v15, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current

    • Page created, but author did not leave any comments.

      Anonymous

      v1, current