Reading this answer I get the impression both the Raspberry Pi BIOS and firmware are located on the SD card.
Is that correct? What is exactly located on the SD card? There's nothing stored on the Pi itself? Is that the reason for it not being able to boot without an SD card?