"r" ⇒ k("r") and ("r","i") ⇒ k("r","i") are functors into a homotopy category of spaces and the long exact sequence for relative k-groups arises as the long exact homotopy sequence of a fibration k("r","i") → k("r") → k("r"/"i").