共 50 条
- [1] Sequential Colimits in Homotopy Type Theory PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 845 - 858
- [3] Nonexistence of Colimits in Naive Discrete Homotopy Theory Applied Categorical Structures, 2023, 31
- [6] Homotopy Colimits and Global Observables in Abelian Gauge Theory Letters in Mathematical Physics, 2015, 105 : 1193 - 1222
- [8] Homotopy colimits of model categories ALPINE EXPEDITION THROUGH ALGEBRAIC TOPOLOGY, 2014, 617 : 31 - 37