TY - RPRT TI - n-Butterflies: Algebraically Modeling Morphisms between Homotopy n-Types AU - Ivan Dungan PY - 2017 UR - https://arxiv.org/abs/1711.01638 ID - 1711.01638 ER -