A Mathematical Perspective on Neurophenomenology