The present second part of a three-part paper gives the detailed treatment
of the new notion of multicategory, and that of the construction of the par
ticular multicategory of function replacement. For the overall purpose of t
he whole paper, see the abstract in Part 1. (C) 2001 Elsevier Science B.V.
All rights reserved.