Homotopy Type Theory sequential polynomial > history (Rev #1)

Definition

Given a $\mathbb{Z}$-module $M$, a sequential polynomial is a sequence $x:\mathbb{N} \to M$ where there exists a natural number $N$ such that for all $i \gt N$, $x(i) = 0$.

See also

• sequence