>>11956311My cursory understand is that technically, the syntax for the abstractions is type theory, and category theory is a way of bridging semantics once described in set theory over to type theory. You can use category and type theory to discover new things, but it's a waste of time.
