The study of topologically ordered quantum phases has led to interesting connections with, for example, the study of subfactors. In this talk, I will introduce a new axiomatisation of such quantum models defined on d-dimensional square lattices in terms of nets of projections. These local topological order axioms are satisfied by known 2D models such as the toric code and Levin-Wen models built on a unitary fusion category. We show that these axioms lead to a definition of boundary algebras naturally living on a hyperplane. This boundary algebra encodes information about the excitations in the bulk theory, leading to a bulk-boundary correspondence. I will outline the main points, with an emphasis on interesting connections to operator algebras and fusion categories. Based on joint work with C. Jones, Penneys, and Wallick (arXiv:2307.12552).
