| Notation | Description | Source |
|
| $\obj{\catc}$ | Objects of category $\catc$. | Definition 1.1.1 |
| $\mor{A, B}$ | Morphisms from $A$ to $B$ in a category. | Definition 1.1.1 |
| $\text{Id}_{A}$ | Identity morphism on $A$. | Definition 1.1.1 |
| $E \otimes F$, $x_{1} \otimes \cdots \otimes x_{n}$ | Tensor product of modules; image of $(x_{1},\ldots,x_{n})$ under canonical embedding. | Definition 1.3.1 |
| $\lim_{\longrightarrow}A_{i}$ | Direct limit of an upward-directed system. | Definition 1.2.7 |
| $\lim_{\longleftarrow}A_{i}$ | Inverse limit of a downward-directed system. | Definition 1.2.8 |
| $\mathbb{D}_{n}$, $\mathbb{D}$ | Dyadic rationals of level $n$; all dyadic rationals. | Definition 3.1.1 |
| $\mathrm{rk}(q)$ | Dyadic rank of $q \in \mathbb{D}$. | Definition 3.1.2 |
| $M(x)$ | Unique $M(x) \subset \mathbb{N}^{+} \cap [1, \mathrm{rk}(x)]$ such that $x = \sum_{n \in M(x)}2^{-n}$. | Proposition 3.1.4 |