TY - JOUR AU - Eugenia Cheng AU - Nick Gurski TI - Iterated icons JO - Theory and applications of categories PY - 2014 SP - 929 EP - 977 VL - 29 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2014_29_a31/ LA - en ID - TAC_2014_29_a31 ER -