On weak higher-dimensional categories I – 2

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 particular multicategory of function replacement. For the overall purpose of the whole paper, see the abstract in Part 1.