Composing and comparing: a convivial collaborative convention on (mathematical) categories and their (practical) consequences