CREATE TABLE table_78856 ("Year" FLOAT, "Award Ceremony" TEXT, "Category" TEXT, "Nominee" TEXT, "Result" TEXT)

What was the result for the nomination of Best Revival of a Musical?
SELECT "Result" FROM table_78856 WHERE "Category" = 'best revival of a musical'
SELECT "Result" FROM "table_78856" WHERE "Category" = 'best revival of a musical'