La vida es sueño se presentó por primera vez en 1673, y pertenece al grupo de autos sacramentales en que se da, como sintetizada, la historia sacra de la humanidad en sus tres momentos decisivos: creación, pecado original y redención. A pesar de lo mucho que recuerda la comedia profana en que se inspiró, no hay duda de que pertenece a un orden totalmente aparte por el simbolismo cristiano que encierra, por la belleza de sus conceptos y lo armónico de sus proporciones.