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

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |

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

Contents

Definition

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

∏ f:F→A∏ n:ℕ⟨lim x→cf(x)⟩ n=lim x→c⟨f(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.

DiscussNext revision (2 more)Previous revision (2 more)Current version of pageHide changesHistory (4 revisions)Rollback Source