Homotopy theoretic models of identity types

被引：111

作者：

Awodey, Steve ^{[1
]}

Warren, Michael A. ^{[1
]}

机构：

[1] Carnegie Mellon Univ, Dept Philosophy, Pittsburgh, PA 15213 USA

来源：

MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY | 2009年 / 146卷

关键词：

CATEGORIES;

D O I：

10.1017/S0305004108001783

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：45 / 55

页数：11

共 20 条

[1]

Abadi M., 1989, Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'90, P31

[2] FIBERED CATEGORIES AND THE FOUNDATIONS OF NAIVE CATEGORY THEORY [J].

BENABOU, J .

JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) :10-37

[3]

Bertot Y., 2004, TEXT THEORET COMP S

[4]

Bousfield A. K., 1976, Journal of Pure and Applied Algebra, V9, P207, DOI [10.1016/0022-4049(77)90067-6, DOI 10.1016/0022-4049(77)90067-6]

[5]

COQUAND C, 1999, P WORKSH LOG FRAM ME

[6]

Curien P.-L., 1993, Fundamenta Informaticae, V19, P51

[7]

Dwyer W.G., 1995, Handbook of Algebraic Topology, P73

[8]

Hofmann M., 1998, Twenty-five years of constructive type theory, Oxf. Logic Guides, V36, P83, DOI [10.1093/oso/9780198501275.003.0008, DOI 10.1093/OSO/9780198501275.003.0008]

[9]

Hofmann Martin, 1994, CSL, P427

[10]

Hovey M., 1999, MATH SURV MONOGR, V63

← 1 2 →