Details
Key data structure
The type corresponding to the manifold underlying time. Note that this is not the same as Time which is commonly used in physics.
Need
This manifold is of use in topological field theory, where one does not have a metric on the world-volume. It also can be used to give a precise notion to the meaning of the time unit.
Requirements
Corresponding file system
https://github.com/HEPLean/PhysLean/tree/master/PhysLean/SpaceAndTime/Time
Details
Key data structure
The type corresponding to the manifold underlying time. Note that this is not the same as
Timewhich is commonly used in physics.Need
This manifold is of use in topological field theory, where one does not have a metric on the world-volume. It also can be used to give a precise notion to the meaning of the time unit.
Requirements
Corresponding file system
https://github.com/HEPLean/PhysLean/tree/master/PhysLean/SpaceAndTime/Time