"As an axiom on which to base the positive numbers and the integers,
which have in the past produced much harmless amusement and are
still widely accepted as useful by most mathematicians, some such
proposition as the following is sometimes considered as being
pleasant, elegant, or at least handy:
AXIOM: Equalisers exist in the category of categories."