Given a bounding class B, we construct a bounded refinement BK(−) of
Quillen's K-theory functor from rings to spaces. BK(−) is a functor from
weighted rings to spaces, and is equipped with a comparison map BK→K
induced by "forgetting control". In contrast to the situation with B-bounded
cohomology, there is a functorial splitting BK(−)≃K(−)×BKrel(−) where BKrel(−) is the homotopy fiber of the comparison map.Comment: 25 pages, 13 diagrams; comments welcom