# nLab simplicial C-infinity-ring

Contents

### Context

#### Higher algebra

higher algebra

universal algebra

# Contents

## Definition

A simplicial $C^\infty$-ring is a simplicial object in the category of C∞-rings.

## Applications

When equipped with the model structure on simplicial algebras over the Lawvere theory CartSp, simplicial $C^\infty$-rings are a model for smooth (∞,1)-algebras, hence for $(\infty,1)$-algebras over CartSp regarded as an (∞,1)-algebraic theory.

Therefore, in higher analogy to how $C^\infty$-rings serve as function algebras on smooth loci in differential geometry, so simplicial $C^\infty$-rings serve as function rings on derived smooth manifolds and more general spaces in derived differential geometry.

## References

• Dennis Borisov, Justin Noel, Simplicial approach to derived differential manifolds (arXiv:1112.0033)

Last revised on December 23, 2016 at 11:03:13. See the history of this page for a list of all contributions to it.