Re: categories and linguistic?

Re: categories and linguistic?

[Robert Seely]

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/ ]

Re: categories and linguistic?

[Vaughan Pratt]

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/ ]

Re: categories and linguistic?

[Charles Wells]

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/ ]

Re: categories and linguistic?

[Michael Fourman]

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/ ]

Re: categories and linguistic?

[soloviev]

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/ ]

Re: categories and linguistic?

[Valeria de Paiva]

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/ ]