In pantomime, what is Dick Whittington's pet cat traditionally called?

"Dick Whittington and His Cat" is the English folklore surrounding the real-life Richard Whittington (c. 1354–1423), wealthy merchant and later Lord Mayor of London. The legend describes his rise from poverty-stricken childhood with the fortune he made through the sale of his cat to a rat-infested country.

Since the pre-Victorian era, the story has been a favourite subject of British pantomime, especially during Christmas season. The first recorded pantomime version of the story was in 1814.

Dick's cat has been given the names Thomas, Tommy, Tommy Tittlemouse (1890), with Tommy traditionally being used. In some versions, Dick and his cat Tommy travel to Morocco, where the cat rids the country of rats. The Sultan rewards Dick with half of his wealth.