Definition 9.41. Let be a connective ring spectrum.
We set
the nonunital ring spectrum of finite -valued matrices.
We write for the ring spectrum of locally finite matrices,
i.e. the connective ring spectrum obtained as the homotopy
pullback
where here denotes the Eilenberg-Mac Lane spectrum functor.