I give a definition of infinitary path and sketch some results motivating why this is a path in here Overleaf: Infinitary Paths.
I give a definition of infinitary path and sketch some results motivating why this is a path in here Overleaf: Infinitary Paths.