Looking at Jim's work is definitely the basis for this subject - an easy intro is the (unofficial Festschrift) volume Language and Grammar: Studies in Mathematical Linguistics and Natural Language (Claudia Casadio, Philip J. Scott, and Robert A.G. Seely, editors) (CSLI 2005) < http://cslipublications.stanford.edu/site/1575864886.shtml > The introduction is available online: http://www.math.mcgill.ca/rags/lambek/CSS-IntroLambekProg.pdf There are lots of references which can start you off ... -= rags =- On Thu, 10 Sep 2009, John Baez wrote:
Pierre Cardscia wrote:
it seemed, but I'm not sure, that the Montreal school worked on that subject
in the past, but this information is unconfirmed ...
Joachim (= Jim) Lambek, at McGill University, has studied linguistics using category theory. You could start here:
http://www.google.com/search?&q=lambek+linguistics
http://wwwhomes.uni-bielefeld.de/gjaeger/lehre/cg_ss00/lambek/lambek58.html
Best, jb
-- <rags@math.mcgill.ca> <www.math.mcgill.ca/rags> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
hi Pierre, there's quite a bit of work on categories and linguistic, especially in France. People to look for are Christian Retore', Michael Moortgat. Claudia Casadio, Philippe de Groote, Richard Moot, Francois Lamarche, to give you a small sample. Start checking Christian's page, it's my suggestion. Best regards, Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ <http://www.cs.bham.ac.uk/%7Evdp/> 2009/9/8 Pierre Cardascia <p.cardascia@yahoo.fr>
Hello, dear categorists, My name is Pierre Cardascia, I'm student of mathematics and philosophie in Lille, France. last year, I wrote for my research director Shahid Rahman a paper about categorical logic; and for this year, he wants me to focus on linguistic (for some obscure but good reasons). So we decided to reintroduce my former work and to explore more and more the land of catégories. The main problem is that I haven't any clue of where I must begin such a work. I asked the neighour laboratory of linguistic : nothing. So I write you with the hope that somebody can give me some hints to guide my research : references, actual problems, advises ... it seemed, but I'm not sure, that the Montreal school worked on that subject in the past, but this information is unconfirmed ...
Thanks you !
Pierre CARDSCIA
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Dear Pierre, at ESSLLI'09 at Bordeaux it was said quite a lot about categorical linguistics. I would suggest to have a look at the site, you may also look for such names as Sylvain Salvati, Philippe de Groote, Gerald Penn, and keywords abstract categorical grammars, parsing with categorical grammars... By the way, Sylvain told me that now there are uses for coherence theorems from category theory in parsing. Best regards, Sergei Soloviev
Hello, dear categorists, My name is Pierre Cardascia, I'm student of mathematics and philosophie in Lille, France. last year, I wrote for my research director Shahid Rahman a paper about categorical logic; and for this year, he wants me to focus on linguistic (for some obscure but good reasons). So we decided to reintroduce my former work and to explore more and more the land of catégories. The main problem is that I haven't any clue of where I must begin such a work. I asked the neighour laboratory of linguistic : nothing. So I write you with the hope that somebody can give me some hints to guide my research : references, actual problems, advises ... it seemed, but I'm not sure, that the Montreal school worked on that subject in the past, but this information is unconfirmed ...
Thanks you !
Pierre CARDSCIA
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
You may also want to look at groups.inf.ed.ac.uk/ccg/ en.wikipedia.org/wiki/Combinatory_categorial_grammar as well as http://en.wikipedia.org/wiki/Categorial_grammar which includes some historical notes. On 10 Sep 2009, at 21:25, John Baez wrote:
Pierre Cardscia wrote:
it seemed, but I'm not sure, that the Montreal school worked on that subject
in the past, but this information is unconfirmed ...
Joachim (= Jim) Lambek, at McGill University, has studied linguistics using category theory. You could start here:
http://www.google.com/search?&q=lambek+linguistics
http://wwwhomes.uni-bielefeld.de/gjaeger/lehre/cg_ss00/lambek/lambek58.html
Best, jb
Professor Michael Fourman FBCS CITP Informatics Forum 10 Crichton Street Edinburgh EH8 9AB http://homepages.inf.ed.ac.uk/mfourman/ For diary appointments contact : mdunlop2(at)ed-dot-ac-dot-uk +44 131 650 2690 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Linguists use the word "category" to mean what computer scientists would call a variable symbol in a context-sensitive grammar. Charles Wells On Fri, Sep 11, 2009 at 5:38 PM, Michael Fourman <Michael.Fourman@ed.ac.uk>wrote:
You may also want to look at
groups.inf.ed.ac.uk/ccg/
en.wikipedia.org/wiki/Combinatory_categorial_grammar
as well as http://en.wikipedia.org/wiki/Categorial_grammar which includes some historical notes.
On 10 Sep 2009, at 21:25, John Baez wrote:
Pierre Cardscia wrote:
it seemed, but I'm not sure, that the Montreal school worked on that subject
in the past, but this information is unconfirmed ...
Joachim (= Jim) Lambek, at McGill University, has studied linguistics using category theory. You could start here:
http://www.google.com/search?&q=lambek+linguistics
http://wwwhomes.uni-bielefeld.de/gjaeger/lehre/cg_ss00/lambek/lambek58.html
Best, jb
Professor Michael Fourman FBCS CITP
Informatics Forum 10 Crichton Street Edinburgh EH8 9AB http://homepages.inf.ed.ac.uk/mfourman/ For diary appointments contact : mdunlop2(at)ed-dot-ac-dot-uk +44 131 650 2690
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Charles Wells wrote:
Linguists use the word "category" to mean what computer scientists would call a variable symbol in a context-sensitive grammar.
My corpus callosum must be having a denial of service. Since the languages generated by context-sensitive languages coincide with those accepted by linear-bounded automata, there must be some connection between categories and linear-bounded automata. What is it? Vaughan Pratt [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
participants (6)
-
Charles Wells -
Michael Fourman -
Robert Seely -
soloviev＠irit.fr -
Valeria de Paiva -
Vaughan Pratt