improvements to categoricalLogic chapter and hw; MathJax partly added to categoricalLogici