On weak higher-dimensional categories. I: Part 3 (Q5956872)

This is the final part of a three-part paper [\textit{C. Hermida, M. Makkai} and \textit{J. Power}, J. Pure Appl. Algebra 154, No. 1-3, 221-246 (2000; Zbl 0971.18005); ibid. 157, No. 2-3, 247-277 (2001; Zbl 0985.18006)]. The paper introduces multitopic sets, which are based on multicategories and are intended as a foundation for higher-dimensional category theory. This part contains the definition of a multitopic set. It also contains the definition of a category of multitopes, and a proof that a multitopic set is equivalent to a set-valued functor on multitopes.