Triggers are program units that are activated by events. They can be categorized based on their function or the event that fires them. The main components of a trigger are its type, which defines the triggering event, code, which specifies the actions it performs, and scope, which defines the level at which it is defined. Triggers have an execution hierarchy property that controls the order in which they fire.