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

Showing changes from revision #3 to #4: Added | Removed | Changed



Given an a algebraic sequentially limit Cauchy complete Archimedean ordered field F F \mathbb{R}, a algebraic real limit geometric algebra is a F F \mathbb{R}-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 June 10, 2022 at 14:21:28 by Anonymous?. See the history of this page for a list of all contributions to it.