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).
    • CommentRowNumber1.
    • CommentAuthorAndrew Stacey
    • CommentTimeNov 18th 2009

    The stuff at commutative algebraic theory is very interesting and I'd like to know some references! *looks at Todd, Toby, and Gavin*

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeNov 18th 2009
    Commutative monads are also called monoidal monads. I'm going to add some references in just a tick...
    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeNov 18th 2009
    • (edited Nov 18th 2009)
    Nikolai Durov rediscovered the old notion for geometric applications and calls them commutative algebraic monads, what would be the same as commutative finitary monads. His thesis has much material on them including the construction of spectra of such monads. I have heard in conversations word commutative monad from Mamuka Jibladze. When I shown him Durov's thesis he said that he discussed the notion many times with Pirashvili but it never occurred to them that this notion is suitable for developing a generalized framework for algebraic geometry. I think that in modern times word monoidal monad is used for some different notion as well. I just created a stub generalized scheme after Durov.
    • CommentRowNumber4.
    • CommentAuthorAndrew Stacey
    • CommentTimeNov 18th 2009

    Thanks Zoran! That's useful.

    I know that there is older stuff because I've come across some myself (the name Freyd spings to mind) and I'll add those when I've remembered what they are. But what I've seen has tended to be very disconnected and I don't want to "invent" them again if I can help it so thanks for the references so far.