Homotopy Type Theory real geometric algebra > history (Rev #2)

Definition
See also

Definition

Given a calculus field? $F$ , a calculus geometric algebra is a $F$ -geometric algebra $A$ such that the limits preserve the ring structure and the grade projection operation:

\prod_{f:F \to A} \prod_{n:\mathbb{N}} \langle \lim_{x \to c} f(x) \rangle_n = \lim_{x \to c} \langle f(x) \rangle_n

Homotopy Type Theory real geometric algebra > history (Rev #2)

Contents

Definition

See also