Loops in C are constructs that allow a set of statements to be executed repeatedly until a specified condition is met, resulting in code efficiency and ease in managing repetitive tasks. There are three main types of loops in C: while loop, for loop, and do-while loop, each functioning in slightly different ways with specific syntax. Additionally, infinite loops can occur if the conditions for termination are not properly defined.