converter personagem em time em R

No quadro de dados a seguir, a coluna 'tempo' écharacter

id<-c(1,2,3,4)
time<-c("00:00:01","01:02:00","09:30:01","14:15:25")
df<-data.frame(id,time)

Eu me pergunto como posso convertê-lo paratime&nbsp;para que eu possa realizar cálculos aritméticos.