added subsection to intro about n-cat terminology; have not yet actually changed terminology in the rest of the paper

(binary:application/pdf)