On weak higher-dimensional categories. I: Part 3
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)].NEWLINENEWLINENEWLINEThe 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.
- On weak higher dimensional categories. I: Part 1
- Higher dimensional categories: induction on extensivity
- Actads
- The web monoid and opetopic sets
- An Australian conspectus of higher categories
- Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
- Syntactic approaches to opetopes
- Theories of analytic monads
- On weak higher-dimensional categories. I. 2
- A direct-categorical approach to opetopic sets and opetopes
This page was built for publication: On weak higher-dimensional categories. I: Part 3
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5956872)