Contents

# Contents

## Definition

A bi-infinite sequence or doubly infinite sequence in a type $A$ is a function $f:\mathbb{Z} \to A$ from the integers to $A$.