The word problem for computads
The word problem for computads
复制标题
计算机应用题
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
J. Dolan
中科院分区：
文献类型：
--
作者：
J. Dolan
导言第11页。混凝土预层类别第20页2。ω-graphs p. 26 3.ω-分类第27页4.第32页5.第42页6. Multitopes and computopes p. 50 7.计算机广告词汇第59页8.ω-范畴的另一组本原运算p. 66 9.一步扩展X的构造[U] p. 75 10.第88页第11页文字问题的解决方法。有足够电脑的证明第104页第1条附录第109页第4条附录第114页第5条附录第122页第6条附录第135页第8条附录第138页参考文献第145页
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