Re:Linguistics Using Category Theory (2018)
by jesuslop on Friday August 23, 2019 @05:40AM
(#20775844)
That colloquium looked nice, I assume no slides are available? Barker is anouncing another seminar on deep learning and semantics, that looks intriguing from the attached public materials. I think that compsci furnishes ideas from formal language parsing that can be toy models of fragments of natural languages, Montague made a case in favour of formalizability. Wadler investigated monadic parsing and this can be an entry point for what is happening in linguistics. I have as reference arXiv:cs/0205026v1
added: on Barker seminar day 4 I see CCG derivations that are a close formalism of pregroup grammars used in the original post, nice to see this concurrently with nnets talk.
I remember it because at the time I liked the idea of keeping a monadically updated 'context' node (at or above C) in an otherwise fairly orthodox Chomskyan x-bar framework to start modeling the syntax-semantics interface, but never really pursued linguistics as the money was just so bad.
Good times, formal linguistics could use some of the rigor and computational methods that computer science has offered for a few decades.