News for hackers. Stuff that matters.
Re:Linguistics Using Category Theory (2018) by igravious on Thursday August 22, 2019 @07:53PM (#20773457)
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.

Re:Linguistics Using Category Theory (2018) by wisnesky on Thursday August 22, 2019 @08:11PM (#20773557)
I'm showing 1M and 200K Google results for those phrases, respectively.
Re:Linguistics Using Category Theory (2018) by igravious on Thursday August 22, 2019 @09:04PM (#20773775)
Those exact phrases? In quotation marks?
Re:Linguistics Using Category Theory (2018) by wisnesky on Thursday August 22, 2019 @09:59PM (#20773997)
No, those result numbers do not include quotation marks. With the quotes I show the same results as you.