结果：找到“homotopy theory”相关内容5个，排序为按回复时间降序，搜索更多相关帖子请点击“高级”
Categorical homotopy theory-Emily Riehl
0 个回复 - 280 次查看 Categorical Homotopy Theory[/backcolor] 作者:Riehl, Emily (Harvard University, Massac[/backcolor]出版社:Cambridge University Press[/backcolor]出版时间:2014年05月 [/backcolor]2023-9-26 14:31 - wxwpxh - 经济金融数学专区
0 个回复 - 280 次查看 Categorical Homotopy Theory[/backcolor] 作者:Riehl, Emily (Harvard University, Massac[/backcolor]出版社:Cambridge University Press[/backcolor]出版时间:2014年05月 [/backcolor]2023-9-26 14:31 - wxwpxh - 经济金融数学专区
Lectures on Homotopy theory-Piccinni R.A
5 个回复 - 707 次查看 Piccinni R.A. - Lectures on Homotopy theory2023-4-18 21:52 - wxwpxh - 经济金融数学专区
5 个回复 - 707 次查看 Piccinni R.A. - Lectures on Homotopy theory2023-4-18 21:52 - wxwpxh - 经济金融数学专区
【AMS 数学】Rings, Modules, and Algebras in Stable Homotopy Theory
5 个回复 - 1273 次查看 Rings, Modules, and Algebras in Stable Homotopy Theory (Mathematical Surveys and Monographs) by A. D. Elmendorf (Author), I. Kriz (Author), M. A. Mandell (Author), J. P. May (Author), and M. Cole ...2016-10-20 17:28 - cmwei333 - 经济金融数学专区
5 个回复 - 1273 次查看 Rings, Modules, and Algebras in Stable Homotopy Theory (Mathematical Surveys and Monographs) by A. D. Elmendorf (Author), I. Kriz (Author), M. A. Mandell (Author), J. P. May (Author), and M. Cole ...2016-10-20 17:28 - cmwei333 - 经济金融数学专区
LaTeX排版《Homotopy type theory》
2 个回复 - 1819 次查看 在数理逻辑与计算机科学中，同伦类型论（homotopy type theory，缩写 HoTT）是一套旨在于同伦论的大框架下构建内涵类型论语义的理论，尤指Quillen模型范畴和弱分解系统。反而言之，内涵类型论则为同伦理论提供了一套 ...2014-11-20 19:18 - oliyiyi - LATEX论坛
2 个回复 - 1819 次查看 在数理逻辑与计算机科学中，同伦类型论（homotopy type theory，缩写 HoTT）是一套旨在于同伦论的大框架下构建内涵类型论语义的理论，尤指Quillen模型范畴和弱分解系统。反而言之，内涵类型论则为同伦理论提供了一套 ...2014-11-20 19:18 - oliyiyi - LATEX论坛
