[igravious]

Type theory has also been applied to both linguistics and quantum mechanics.

What does it mean that both category theory and type theory have been applied to both linguistics and quantum mechanics?

"categorical semantics for linguistics" gives 0 hits in Google btw.

"categorical semantics for quantum mechanics" gives 5 hits all of which reference the same paper by Bob Coecke titled “Strongly Compact Closed Semantics”, which uses the phrase only once.

[wisnesky]

I'm showing 1M and 200K Google results for those phrases, respectively.

[igravious]

Those exact phrases? In quotation marks?

[wisnesky]

No, those result numbers do not include quotation marks. With the quotes I show the same results as you.