On the definition of Heisenberg category - Jonathan Brundan (2017)