TY - JOUR AU - Simon Henry TI - Weak model categories in classical and constructive mathematics JO - Theory and applications of categories PY - 2020 SP - 875 EP - 958 VL - 35 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2020_35_a23/ LA - en ID - TAC_2020_35_a23 ER -