  We introduce the notion of a positive face structure. The positive facestructures to positive-to-one computads are like simple graphs, to freeomega-categories over omega-graphs. In particular, they allow to give anexplicit combinatorial description of positive-to-one computads. Using thisdescription we show, among other things, that positive-to-one computads form apresheaf category with the exponent category being the category of principalpositive face structures. We also present the Harnik argument in this contextshowing that the omega-categories are monadic over positive-to-one computadswith the 'free functor' being the inclusion.
Using this description we show, among other things, that positive-to-one computads form a presheaf category with the exponent category being the category of principal positive face structures. We also present the Harnik argument in this context showing that the omega-categories are monadic over positive-to-one computads with the 'free functor' being the inclusion.