Pre-nets, Read Arcs and Unfolding: A Functorial Presentation