I think that allmost all of us didn't asks what is time. I am looking after mathematical formalization of time. I found the following link but doesn't exist to much documentation related to this topic.

https://www.perimeterinstitute.ca/videos/physics-logic-and-mathematics-time