topological order is a notion in theoretical condensed matter physics describing new phases of matter beyond landau's symmetry breaking paradigm. bravyi, hastings, and michalakis introduced certain topological quantum order (tqo) axioms to ensure gap stability of a commuting projector local hamiltonian and stabilize the ground state space with respect to local operators in a quantum spin system. in joint work with corey jones, pieter naaijkens, and daniel wallick (arxiv:2307.12552), we study nets of finite dimensional c*-algebras on a 2d $\mathbb{z}^2$ lattice equipped with a net of projections as an abstract version of a quantum spin system equipped with a local hamiltonian. we introduce a set of local topological order (lto) axioms which imply the tqo conditions of bravyi-hastings-michalakis in the frustration free commuting projector setting, and we show our lto axioms are satisfied by known 2d examples, including kitaev's toric code and levin-wen string net models associated to unitary fusion categories (ufcs). from the lto axioms, we can produce a canonical net of algebras on a codimension 1 $\mathbb{z}$ sublattice which we call the net of boundary algebras. we get a canonical state on the boundary net, and we calculate this canonical state for both the toric code and levin-wen string net models. surprisingly, for the levin-wen model, this state is a trace on the boundary net exactly when the ufc is pointed, i.e., all quantum dimensions are equal to 1. moreover, the boundary net for levin-wen is isomorphic to a fusion categorical net arising directly from the ufc. for these latter nets, corey jones' category of dhr bimodules recovers the drinfeld center, leading to a bulk-boundary correspondence where the bulk topological order is described by representations of the boundary net.