locally modeled monoid


A locally modeled monoid or, RR-Ring, is a generalized quantity in the sense of space and quantity which is modeled on a category of local models RR.


Let (R,U,L,A)(R,U,L,A) be a category of local models. Then an RR-ring or monoid locally modeled on RR is a co-presheaf

RSet R \to Set

which preserves the limits of shape in LL.

A morphism of such locally modeled monoids is a natural transformation.



This is definition 1.1.6 of

  • David Spivak, Quasi-smooth derived manifolds, PhD thesis, Berkeley (2007) (pdf)

where it appears as part of the discussion of derived smooth manifolds.

Last revised on August 17, 2009 at 18:05:37. See the history of this page for a list of all contributions to it.