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

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