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