unruly abstractions comments on Category-Theoretic Wanderings into Interpretability