The document discusses the role and design of loaders. A loader is system software that loads an object program into memory, making it ready for execution. It copies the program from secondary storage to main memory. Loaders can be absolute or relocatable. Absolute loaders load programs at fixed addresses while relocatable loaders can load programs anywhere in memory.