1: \begin{definition}

2:  Let $\mathbb{F}$ and $\mathcal{P}$ be as in Theorem \ref{thm:CrawleyBoevey}, and

3: let $\mathcal{X} \in \mathbf{Top}^\mathbf{P}$ be so that $H_n(\mathcal{X}; \mathbb{F})$ is  pointwise finite.

4: The barcode of $H_n(\mathcal{X}; \mathbb{F})$, denoted

5: $\mathsf{bcd}_n(\mathcal{X} ;\mathbb{F})$, is the unique multiset of intervals in $\mathcal{P}$

6: such that

7: \[

8: H_n(\mathcal{X};\mathbb{F}) \cong

9: \bigoplus_{I\in \mathsf{bcd}_n(\mathcal{X}; \mathbb{F})}\mathds{1}_I.

10: \]

11: \end{definition}

12: