arXiv subjects
Publications and source records attributed to Marek Zawadowski.
We introduce the notion of an ordered face structure. The ordered face structures to many-to-one computads are like positive face structures to positive-to-one computads. This allow us to give an explicit combinatorial description of many-to-one computads in terms of ordered face structures.
We show, using Eckmann-Hilton argument, that the category of 3-computads is not cartesian closed. As a corollary we get that neither the category of all computads nor the category of n-computads, for n>2, do form locally cartesian closed categories, and hence elementary toposes.
We show that the category of principal ordered face structures is equivalent to the category of multitopes. We show that the category of principal ordered face structures is equivalent to the category of multitopes. On the way we introduce the notion of a graded tensor theory to state the abstract properties of the category of ordered face structures and show how it fits into the recent work of T. Leinster and M. Weber concerning the nerve construction.