In the British science fiction comedy TV series "Red Dwarf", what is the name of the ship's computer?

'Red Dwarf' is a British science fiction comedy franchise which primarily consists of a television sitcom that aired on BBC Two between 1988 and 1999, and on Dave since 2009, gaining a cult following. To date, eleven full series of the show plus one "special" miniseries have aired. The latest series, dubbed 'Red Dwarf XII', started airing in October 2017. The series was created by Rob Grant and Doug Naylor.

Despite the pastiche of science fiction used as a backdrop, 'Red Dwarf' is primarily a character-driven comedy, with science fiction elements used as complementary plot devices. In the early episodes, a recurring source of comedy was the Odd Couple-style relationship between the two central characters of the show, who have an intense dislike for each other yet are trapped together deep in space. The main characters are Dave Lister, the last known human alive, and Arnold Rimmer, a hologram of Lister's dead bunkmate. The other regular characters are Cat, a lifeform which evolved from the descendants of Lister's pregnant pet cat Frankenstein; Holly, Red Dwarf's computer (Series I-V, briefly in the final episode of VII, VIII); Kryten, a service mechanoid (Series II-present); and Kristine Kochanski, an alternative-reality version of Lister's long-lost love (Series VII-VIII).