はい、上は型理論の入門書です。
数学分からない人は絶対に読むべきじゃないです。