I thought this means for category theory people

anyway, quite cute :)