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 条

[31] Naive cubical type theory
Bentzen, Bruno
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022, Cambridge University Press (31)
[32] Canonicity for Cubical Type Theory
Simon Huber
Journal of Automated Reasoning, 2019, 63 : 173 - 210
[33] Normalization for Cubical Type Theory
Sterling, Jonathan
Angiuli, Carlo
2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
[34] Homotopy Theory
Banagl, Markus
INTERSECTION SPACES, SPATIAL HOMOLOGY TRUNCATION, AND STRING THEORY, 2010, 1997 : 1 - +
[35] Towards a theory of homotopy structures for differential equations: First definitions and examples
Magnot, Jean-Pierre
Reyes, Enrique G.
Rubtsov, Vladimir
JOURNAL OF DIFFERENTIAL EQUATIONS, 2024, 413 : 805 - 827
[36] Synthetic G-jet-structures in modal homotopy type theory
Cherubini, Felix
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024,
[37] Cubical Computational Type Theory and RedPRL
Hou, Kuen-Bang
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (274):
[38] HIGHER SCHREIER THEORY IN CUBICAL AGDA
Myers, David Jaz
Yasser, Zyad
JOURNAL OF SYMBOLIC LOGIC, 2025,
[39] INTERNAL PARAMETRICITY FOR CUBICAL TYPE THEORY
Cavallo, Evan
Harper, Robert
LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (04) : 5:1 - 5:60
[40] UNIFYING CUBICAL AND MULTIMODAL TYPE THEORY
Aagaard, Frederik lerbjerg
Kristensen, Magnus baunsgaard
Gratzer, Daniel
Birkedal, Lars
LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (04) : 1 - 25

← 1 2 3 4 5 →