An algebraic quantum field theoretic approach to toric code with gapped boundary

Topologically ordered quantum spin systems have become an area of great interest, as they may provide a fault-tolerant means of quantum computation.  One of the simplest examples of such a spin system is Kitaev's toric code.  Naaijkens made mathematically rigorous the treatment of toric code on an infinite planar lattice (the thermodynamic limit), using an operator algebraic approach via algebraic quantum field theory.  We adapt his methods to study the case of toric code with gapped boundary.  In particular, we recover the condensation results described in Kitaev and Kong and show that the boundary theory is a module tensor category over the bulk, as expected.