Is there a name for this kind of graph? Is there a name for the DAG obtained from a directed graph by collapsing together the strongly connected components?
The graph you describe is called the condensation of the original graph.