. The deep structural properties of a quantum information theoretic approach to formal languages and universal computation, as well as those of the topology problem of defining the presentation of the Mapping Class Group of a smooth, compact manifold are shown to be grounded in the common categorical features of the two problems.