共 50 条
- [44] WEAK HOMOTOPY EQUIVALENCE (WHE) AND STRONG HOMOTOPY (SH) AXIOMS EQUIVALENT FOR HOMOLOGY THEORIES OF SIMPLICIAL SETS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A193 - A193
- [46] Sequential Colimits in Homotopy Type Theory PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 845 - 858
- [48] COLIMITS IN ENRICHED ?-CATEGORIES AND DAY CONVOLUTION THEORY AND APPLICATIONS OF CATEGORIES, 2023, 39