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

Contents

Definition

Given an algebraic limit field FF, a algebraic limit 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 May 4, 2022 at 16:22:55 by Anonymous?. See the history of this page for a list of all contributions to it.