共 50 条
- [3] Sequential Colimits in Homotopy Type Theory PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 845 - 858
- [5] Homotopy colimits of classifying spaces of abelian subgroups of a finite group ALGEBRAIC AND GEOMETRIC TOPOLOGY, 2014, 14 (04): : 2223 - 2257
- [8] Nonexistence of Colimits in Naive Discrete Homotopy Theory Applied Categorical Structures, 2023, 31