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.

Revised on August 17, 2009 18:05:37 by Toby Bartels (