Then you should learn type theory proper. Although type theory can be expressed in terms of categories that is mostly because type theory and category theory, a

Then you should learn type theory proper. Although type theory can be expressed in terms of categories that is mostly because type theory and category theory, alongside set theory, higher-order logic, etc. are foundational theories. So even though it is applicable, concepts from type theory are much more relevant, with or without the categorial phrasing.