Cubical structures, homotopy theory

被引：0

作者：

Antolini R. ^{[1
]}

机构：

[1] Dipartimento di Matematica, Seconda Université Degli Studi di Roma Tor Vergata, 00133 Roma, Via della Ricerca Scientifica

来源：

Annali di Matematica Pura ed Applicata | 2000年 / 178卷 / 1期

关键词：

Topological Space; Homotopy Type; Homotopy Group; Homotopy Theory; Forgetful Functor;

D O I：

10.1007/BF02505901

中图分类号：

学科分类号：

摘要：

We investigate the categories of semi-cubical complexes with or loithout degeneracies. We prove that the Kan condition does not imply that a semi-cubical complex admits degeneracies and that, unlike the simplicial case, there is no cubical approximation theorem while we prove such a theorem for semi-cubical complexes with degeracies.

引用

页码：317 / 324

页数：7

共 50 条

[21] A model for the homotopy theory of homotopy theory
Rezk, C
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2001, 353 (03) : 973 - 1007
[22] DEFORMATION THEORY WITH HOMOTOPY ALGEBRA STRUCTURES ON TENSOR PRODUCTS
Robert-Nicoud, Daniel
DOCUMENTA MATHEMATICA, 2018, 23 : 189 - 240
[23] Homotopy coherent category theory and A∞-structures in monoidal categories
Batanin, MA
JOURNAL OF PURE AND APPLIED ALGEBRA, 1998, 123 (1-3) : 67 - 103
[24] Guarded Cubical Type Theory
Birkedal, Lars
Bizjak, Ales
Clouston, Ranald
Grathwohl, Hans Bugge
Spitters, Bas
Vezzosi, Andrea
JOURNAL OF AUTOMATED REASONING, 2019, 63 (02) : 211 - 253
[25] Guarded Cubical Type Theory
Lars Birkedal
Aleš Bizjak
Ranald Clouston
Hans Bugge Grathwohl
Bas Spitters
Andrea Vezzosi
Journal of Automated Reasoning, 2019, 63 : 211 - 253
[26] Canonicity for Cubical Type Theory
Huber, Simon
JOURNAL OF AUTOMATED REASONING, 2019, 63 (02) : 173 - 210
[27] HOMOTOPY THEORY OF HOMOTOPY ALGEBRAS
Vallette, Bruno
ANNALES DE L INSTITUT FOURIER, 2020, 70 (02) : 683 - 738
[28] Modular functors in homotopy quantum field theory and tortile structures
Brightwell, M
Turner, P
JOURNAL OF PURE AND APPLIED ALGEBRA, 2003, 185 (1-3) : 43 - 71
[29] Closed Simplicial Model Structures for Exterior and Proper Homotopy Theory
J. M. Garcia-Calcines
M. Garcia-Pinillos
L. J. Hernandez-Paricio
Applied Categorical Structures, 2004, 12 : 225 - 243
[30] Closed simplicial model structures for exterior and proper homotopy theory
Garcia-Calcines, JM
Garcia-Pinillos, M
Hernandez-Paricio, LJ
APPLIED CATEGORICAL STRUCTURES, 2004, 12 (03) : 225 - 243

← 1 2 3 4 5 →