The Word Problem for Computads *
نویسندگان
چکیده
Introduction p. 1 1. Concrete presheaf categories p. 20 2. ω-graphs p. 26 3. ω-categories p. 27 4. Adjoining indeterminates p. 32 5. Computads p. 42 6. Multitopes and computopes p. 50 7. Words for computads p. 59 8. Another set of primitive operations for ω-categories p. 66 9. A construction of the one-step extension X[U] p. 75 10. Solution of the word problem p. 88 11. Proof of the existence of enough computopes p. 104 Appendix to section 1 p. 109 Appendix to section 4 p. 114 Appendix to section 5 p. 122 Appendix to section 6 p. 135 Appendix to section 8 p. 138 References p. 145
منابع مشابه
On ordered face structures and many-to-one computads
We introduce the notion of an ordered face structure. The ordered face structures to many-to-one computads are like positive face structures, c.f. [Z], 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.
متن کاملOn positive face structures and positive-to-one computads
We introduce the notion of a positive face structure. The positive face structures to positive-to-one computads are like simple graphs, c.f. [MZ], to free ω-categories over ω-graphs. In particular, they allow to give an explicit combinatorial description of positive-to-one computads. Using this description we show, among other things, that positive-to-one computads form a presheaf category with...
متن کاملComputads and Multitopic Sets
We compare computads (as defined in [15], [16], [3]) with multitopic sets (cf. [5][7]). Both these kinds of structures have n-dimensional objects (called n-cells for computads and n-pasting diagrams for multitopic sets), for each natural number n. In both cases, the set of n-dimensional objects is freely generated by one of its subsets. The computads form a subclass of the more familiar collect...
متن کاملComputads and Slices of Operads
For a given ω-operad A on globular sets we introduce a sequence of symmetric operads on Set called slices of A and show how the connected limit preserving properties of slices are related to the property of the category of n-computads of A being a presheaf topos.
متن کاملThe Effectiveness of Cognitive Rehabilitation on Mathematical Word Problem Solving in Students with Specefic Learning Disability with Impairment in Mathematic
The aim of the current reaerch was to study the effectiveness of cognitive rehabilitation on mathematical word problem solving in students with specific learning disabilitiy with impairment in mathematic. The research design was quasi-experimental pre-test and post-test with a control group. The statistical population of the study included all male students with specefic learning disabilitiy wi...
متن کامل