nLab essentially algebraic (infinity,1)-theory

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

Revised on December 29, 2010 17:53:43 by Urs Schreiber (89.204.137.120)