[notfashion]

One other thing that has a lot in common with those two is algebraic data types. Products and sums crop up in all these areas. Maybe it's enough to say that with category theory, we feel like we are revealing the "elementary particles" (or rules) of all of these systems.

[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.