x
Category-Theoretic Wanderings into Interpretability — LessWrong