On weak higher-dimensional categories. I. 2 (Q5931436)

This is the second part of a three-part paper [part I.1: \textit{C. Hermida, M. Makkai} and \textit{J. Power}, J. Pure Appl. Algebra 154, No. 1-3, 221-246 (2000; Zbl 0971.18005)] introducing the concepts of multitope and multitopic set. It contains material relating to multicategories, on which the theory is based. The authors describe a version of multicategory which generalises that of \textit{J. Lambek} [Category Theory Homology Theory Appl., Proc. Conf. Seattle Res. Center Battelle Mem. Inst. 1968, No. 1, 76-122 (1969; Zbl 0198.33701)], and in particular they describe free multicategories and multicategories of function replacement.