Re: Multicategories

[Michael MAKKAI <makkai@math.mcgill.ca>]

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