TY - JOUR AU - Eugenia Cheng AU - Tom Leinster TI - Weak $\infty$-categories via terminal coalgebras JO - Theory and applications of categories PY - 2019 SP - 1073 EP - 1133 VL - 34 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2019_34_a33/ LA - en ID - TAC_2019_34_a33 ER -