Multicategories

Multicategories

[Apostolos Syropoulos]

[-- Attachment #1: Type: text/plain, Size: 881 bytes --]

     Dear Category Theorists,

     I am currently studying a paper on logic and the author employs
category theory in his work. However, he is using
"multicategories" which is something I hear for the first time.
Unfortunately my knowledge of CT isn't that deep and so
if someone could suggest me papers/books that provide
a definition of this term, I would be really grateful to him/her!

Yours Sincerely,

A. S.

--
****************************************************************
*Apostolos Syropoulos                                          *
*snail mail: 366, 28th October Str., GR-671 00  Xanthi, HELLAS *
*email     : apostolo@obelix.ee.duth.gr                        *
*phone num.: +-30-(0)541-28704                                  *
*home page : http://obelix.ee.duth.gr/+AH4-apostolo                *
****************************************************************



[-- Attachment #2: Type: text/html, Size: 1619 bytes --]

Re: Multicategories

[Michael MAKKAI]

On Sat, 9 May 1998, Apostolos Syropoulos wrote:

>      Dear Category Theorists,
> 
>      I am currently studying a paper on logic and the author employs
> category theory in his work. However, he is using
> "multicategories" which is something I hear for the first time.
> Unfortunately my knowledge of CT isn't that deep and so
> if someone could suggest me papers/books that provide
> a definition of this term, I would be really grateful to him/her!
> 
> Yours Sincerely,
> 
> A. S.
> 
> --
> ****************************************************************
> *Apostolos Syropoulos                                          *
> *snail mail: 366, 28th October Str., GR-671 00  Xanthi, HELLAS *
> *email     : apostolo@obelix.ee.duth.gr                        *
> *phone num.: +-30-(0)541-28704                                  *
> *home page : http://obelix.ee.duth.gr/+AH4-apostolo                *
> ****************************************************************
> 
> 
> 

Here are two references to multicategories, both by Joachim Lambek:

	"Deductive systems and categories II", Springer Lecture Notes in
Mathematics. no.86, pp. 76-122 (1969)
	"Multicategories revisited", In: Categories in Computer Science
and Logic, Proceedings, Boulder 1987; Contemporary Math 92, AMS; pp.
217-240 (1989).
	 

Michael Makkai