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

Showing changes from revision #3 to #4:
Added | ~~Removed~~ | ~~Chan~~ged

# Contents

## Definition

Given~~ an~~ a~~ algebraic~~ sequentially~~ limit~~ Cauchy complete Archimedean ordered field $\mathrm{F\mathbb{R}}$~~ F~~ \mathbb{R}, a ~~ algebraic~~ real~~ limit~~ geometric algebra is a $\mathrm{F\mathbb{R}}$~~ F~~ \mathbb{R}-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$

~~
~~## 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.