PATH CATEGORIES AND RESOLUTIONS

被引：4

作者：

Jardine, J. F. ^{[1
]}

机构：

[1] Univ Western Ontario, Dept Math, London, ON N6A 5B7, Canada

来源：

HOMOLOGY HOMOTOPY AND APPLICATIONS | 2010年 / 12卷 / 02期

基金：

加拿大自然科学与工程研究理事会;

关键词：

path category; 2-category; resolutions; higher dimensional automata;

D O I：

10.4310/HHA.2010.v12.n2.a8

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

Path categories are defined, and their basic properties are described, for simplicial and cubical sets. A calculational method for describing the path category P(K) of a finite oriented simplicial complex K is introduced, which involves a finite 2-category which can be specified by generators and relations. This method specializes to higher dimensional automata via the triangulation functor from cubical to simplicial sets, and leads to calculations of their associated execution paths.

引用

页码：231 / 244

页数：14

共 7 条

[1]

Goerss Paul G., 1999, Progress in Mathematics, V174

[2]

Goubault E., 2003, HOMOL HOMOTOPY APPL, V5, P95, DOI DOI 10.4310/HHA.2003.v5.n2.a5

[3] Categorical homotopy theory [J].

Jardine, J. F. .

HOMOLOGY HOMOTOPY AND APPLICATIONS, 2006, 8 (01) :71-144

[4]

JARDINE JF, 1992, CMS C P, V13, P267

[5] Quasi-categories and Kan complexes [J].

Joyal, A .

JOURNAL OF PURE AND APPLIED ALGEBRA, 2002, 175 (1-3) :207-222

[6]

JOYAL A, NOTES QUASICATEGOR 1

[7]

Pratt Vaughn, 1991, P 18 ACM SIGPLANSIGA, P311, DOI DOI 10.1145/99583.99625

← 1 →