搜索结果: 1-2 共查到“应用数学 higher-dimensional”相关记录2条 . 查询时间(0.114 秒)
Towards a homotopy theory of higher dimensional transition systems
homotopy theory dimensional transition systems
2010/11/9
We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of w...
Higher-dimensional normalisation strategies for acyclicity
Higher-dimensional normalisation strategies acyclicity
2010/11/9
We introduce acyclic track polygraphs, a notion of complete categorical cellular models for small categories: they are polygraphs containing generators, with additional invertible cells for relations ...