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

Showing changes from revision #1 to #2: Added | Removed | Changed

Contents

Definition

Given a calculus field? FF, a calculus geometric algebra is a FF-geometric algebra .AA such that the limits preserve the ring structure and the grade projection operation:

f:FA n:lim xcf(x) n=lim xcf(x) n\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

See also

Revision on April 16, 2022 at 20:22:25 by Anonymous?. See the history of this page for a list of all contributions to it.