Covering space theory for directed topology. Goubault, Eric; Haucourt, Emmanuel; Krishnan, Sanjeevi — 2009 Theory and Applications of Categories [electronic only]