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 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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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).
    • I started a stub at affine logic as I saw the link requested in a couple of places.

    • The cut rule for linear logic used to be stated as

      If ΓA\Gamma \vdash A and AΔA \vdash \Delta, then ΓΔ\Gamma \vdash \Delta.

      I don’t think this is general enough, so I corrected it to

      If ΓA,Φ\Gamma \vdash A, \Phi and Ψ,AΔ\Psi,A \vdash \Delta, then Ψ,ΓΔ,Φ\Psi,\Gamma \vdash \Delta,\Phi.

    • starting page on unified topologies

      Anonymouse

      v1, current

    • the entry Galois theory used to be a stub with only some links. I have now added plenty of details.

    • I have tried to expand a bit the text at the beginning of the category:people entry Alexander Grothendieck, mention more of what his work was about, add more hyperlinks. It could still be much improved, but right now it reads as follows:

      The french mathematician Alexandre Grothendieck, (in English usually Alexander Grothendieck), has created a work whose influence has shown him to be the greatest pure mathematician of the 20th century; and his ideas continue to be developed in this century.

      Initially working on topological vector spaces and analysis, Grothendieck then made revolutionary advances in algebraic geometry by developing sheaf and topos theory and abelian sheaf cohomology and formulating algebraic geometry in these terms (locally ringed spaces, schemes). Later topos theory further developed independently and today serves as the foundation also for other kinds of geometry. Notably its homotopy theoretic refinement to higher topos theory serves as the foundation for modern derived algebraic geometry.

      Grothendieck’s work is documented in texts known as EGA (with Dieudonné), an early account FGA, and the many volume account SGA of the seminars at l’IHÉS, Bures-sur-Yvette, where he was based at the time. (See the wikipedia article for some indication of the story from there until the early 1980s.)

      By the way, in view of the recent objection to referring to people as “famous” in category:people entries: the lead-in sentence here is not due to me, it has been this way all along. One might feel that it should be rephrased, but I leave that to those who feel strongly about it.

    • The equivariant version of commutative operads

      Natalie Stewart

      v1, current

    • Creating a page for separable monads. The definition is essential for the theory of semisimple (linear) (oo,)2-categories.

      Daniel Teixeira

      v1, current

    • starting page on Heyting fields

      Anonymous

      v1, current

    • I added some material about monads and adjunctions in the 2-category Rel and decided to distinguish this 2-category from the 1-category of relations, hoping this will make it a bit easier to state lots of results about both without getting mixed up.

      diff, v23, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Stub on an important topic I do not understand, but would like to have it covered and simply explained.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added statement of theorem and proof of a lemma.

      diff, v3, current

    • starting page on Cauchy structures as defined by Auke Booij

      Anonymous

      v1, current

    • added a list of “related entries” with “Serre” in their title

      diff, v5, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Starting a page for indexing systems

      Natalie Stewart

      v1, current

    • starting page on the Kreisel-Lacombe-Shoenfield-Tseitin theorem

      Anonymouse

      v1, current

    • Add a reference for string diagrams in closed monoidal categories

      Anonymous

      diff, v42, current

    • this page had been essentially empty. I have now added a couple more links and a pointer to his book on Thom spectra.

      (If anyone knows Rudyak’s birth year, let’s add it in the first line.)

      diff, v2, current

    • Replaced broken video link to

      • Wehmeier, Vortrag The First-Order Logic of the Tractatus,

      diff, v11, current

    • stub entry, for the moment. Will expand a little more after dinner…

      v1, current

    • [spam]

    • Initial writeup to satisfy a broken link.

      v1, current

    • Added a link for « Blue and Brown Books ». I’ll try to create this page later, and when I will have understood the book.

      diff, v3, current

    • there was an X veeX^{vee} that I replaced with X X^{\vee}

      Joe M

      diff, v7, current

    • added to supergeometry a link to the recent talk

      • Mikhail Kapranov, Categorification of supersymmetry and stable homotopy groups of spheres (video)
    • Added the Yoneda-embedding way to talk about group objects and hence supergroups.

    • brief category:people-entry for hyperlinking references

      v1, current

    • Wrote that the affine spectrum is the right adjoint to the global section functor from the commutative locally ringed spaces to commutative rings, what is the abstract way to characterize this functor.

      diff, v9, current

    • More clarification/delimitation of the named results.

      diff, v5, current

    • An algebraist at King’s College.

      v1, current

    • Person entry on the analyst rather than algebraist Birkhoff.

      v1, current

    • Added a bit, including the original reference by G. B.

      diff, v7, current