(sees an arrow e for which if fe = ge then f = g) okay now this is epic
@TetraspaceGrouping a tetraspace is doing the meme thing?
(learning category theory)
a Schelling point for those who seek one