Processing math: 100%
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 finite 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 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).
    • Explained the link between cliques of undirected simple graphs and coherence spaces.

      diff, v20, current

    • starting page on punctual cohesion

      Anonymouse

      v1, current

    • copied from HoTT wiki

      Anonymous

      v1, current

    • starting page on the axiom of sufficient cohesion

      Anonymouse

      v1, current

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

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

      v1, current

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

    • “for each nonzero element r in a semiprimitive ring,…module left annihilated by r.” to “…module not left annihilated by r.”

      Anonymous

      diff, v7, current

    • Added:

      A survey of various notions between unital rings and nonunital rings:

      • Patrik Nystedt, A survey of s-unital and locally unital rings, Revista Integración, temas de matemáticas Escuela de Matemáticas, Universidad Industrial de Santander, Vol. 37, N◦ 2, 2019, pág. 251–260. doi.

      diff, v21, current

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

      diff, v11, current

    • creating a separate page for semiring to accomodate diverging definitions of semirings in mathematics. The rig page should be left for discussing the particular semiring with additive and multiplicative identity elements.

      Anonymous

      v1, current

    • nonassociative groups: loops whose left and right inverses are the same

      Anonymous

      v1, current

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

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

      Anonymous

      v1, current

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

      Anonymous

      v1, current

    • quasigroups that are associative

      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

    • Added how small categories can be thought of as semigroups.

      Adam

      diff, v22, current

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

      Anonymous

      v1, current

    • Added comment about one-sided units, and the fact units in a magma may fail to be unique.

      diff, v11, current

    • I have added to alternative algebra the characterization in terms of skew-symmetry of the associator.

    • just for completeness and for ease of hyperlinking

      v1, current

    • 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