9 ms·I thought this means for category theory people anyway, quite cute :)by pca006132 9mo agoI thought this means for category theory people anyway, quite cute :)