Linguistics Using Category Theory (2018)

Re:Linguistics Using Category Theory (2018) by notfashion on Thursday August 22, 2019 @06:42PM (#20773047)

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.

[ Parent | on HN ]

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.

[ Parent | on HN ]

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.

[ Parent | on HN ]

Re:Linguistics Using Category Theory (2018) by igravious on Thursday August 22, 2019 @09:04PM (#20773775)

Those exact phrases? In quotation marks?

[ Parent | on HN ]

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.

[ Parent | on HN ]