[[!redirects left shift operators]] #Contents# * table of contents {:toc} ## Definition ## Given a [[type]] $M$ and a sequence $x:\mathbb{N} \to M$ of terms in $M$, the **left shift operator** $$T:(\mathbb{N} \to M) \to (\mathbb{N} \to M)$$ is defined as $$T(x)(i) \coloneqq x(i + 1)$$ for $i:\mathbb{N}$. ## See also ## * [[sequence]] * [[right shift operator]] * [[sequential derivative]] category: not redirected to nlab yet