A loop is commonly defined as an edge (or directed edge in the case of a digraph) with both ends as the same vertex. (For example from $a$ to itself). Although loops are cycles, not all cycles are loops. In fact, none of the above digraphs have any loops.
Cycles are usually defined as closed walks which do not repeat edges or vertices except for the starting and ending vertex. This definition usually allows for cycles of length one (loops) and cycles of length two (parallel edges).
Note that cycles (and walks) do not make any reference to the orientation of the edges in question. Directed cycles (and directed walks) may only travel along the "forward" direction of the edges. In particular, that implies that $G_3$ pictured above has a third cycle, $(\color{blue}{(a,b)},(b,c),(c,a))$ where the $\color{blue}{(a,b)}$ refers instead to the edge pointing from $b$ to $a$.
Technically, all of the graphs above except for $G_2$ are directed multigraphs since in each you have parallel edges. Although in simple graphs (graphs with no loops or parallel edges) all cycles will have length at least $3$, a cycle in a multigraph can be of shorter length. Usually in multigraphs, we prefer to give edges specific labels so we may refer to them without ambiguity.
As for being strongly connected, yes all of them are and your definition is correct.
Your additional question, "what is the difference between a cycle and a connected component"
![enter image description here](https://i.stack.imgur.com/qaID3.png)
The above graph contains a cycle (though not a directed cycle) yet is not strongly connected.
One can prove that if a directed multigraph is strongly connected then it contains a cycle (take a directed walk from a vertex $v$ to $u$, then a directed walk from $u$ to $v$. Any closed walk contains a cycle).
One can also show that if you have a directed cycle, it will be a part of a strongly connected component (though it will not necessarily be the whole component, nor will the entire graph necessarily be strongly connected).
The graph you show is a DAG.
It is conventional to draw DAGs with all the arrows going in the roughly the same direction, because that usually gives a clearer intuition about what is going on in the graph.
But remember that locations and directions are not part of the formal definition of a graph -- they're just incidental features of the particular drawing at the graph you're looking at, and it would be the same graph if you drew the vertices in different locations on the paper.
(Even in your drawing, all the edges go in a broadly southeasterly direction -- or at least more southeast than northwest -- so you're actually following the convention).
In particular, why does the definition mention later on an equivalent definition is that it must have topological ordering such that "every edge is directed from earlier to later in the sequence"?
Because that is another way to define the same class of graphs, and sometimes (but not always) a more productive way to think about them. You should be able to prove that the finite directed graphs that have no directed cycles are exactly the same as the finite directed graphs that have a topological ordering.
Best Answer
A directed cycle in a directed graph $(V,E)$ is a sequence of directed edges $(v_1,v_2),...,(v_n,v_1)$ such that whenever $v_{i}$ is vertex in the sequence and $1 \leq i < n$, then there is an edge i$(v_{i},v_{i+1})$. In other words, we must follow the edges in the right order and direction to get back to $v_1$.