# nLab essentially algebraic (infinity,1)-theory

Contents

### Context

#### Higher algebra

higher algebra

universal algebra

# Contents

## Definition

###### Definition

An (finitary) essentially algebraic $(\infty,1)$-theory is an (∞,1)-category $T$ with (finite) (∞,1)-limits.

An algebra over an essentially algebraic $(\infty,1)$-theory in some (∞,1)-topos $\mathcal{X}$ is a (finite) $(\infty,1)$-limit preserving (∞,1)-functor

$A : T \to \mathcal{X} \,.$

## References

Algebras over essentially algebraic $(\infty,1)$-theories that play the role of structure sheaves of algebras are considered in

Last revised on December 29, 2010 at 17:53:43. See the history of this page for a list of all contributions to it.