nLab
essentially algebraic (infinity,1)-theory

Contents

Definition

Definition

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

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

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

Properties

Examples

References

Algebras over essentially algebraic (,1)(\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.