locally modeled monoid
A locally modeled monoid or, -Ring, is a generalized quantity in the sense of space and quantity which is modeled on a category of local models .
Let be a category of local models. Then an -ring or monoid locally modeled on is a co-presheaf
which preserves the limits of shape in .
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