Remark 9.42. These definitions are consistent with the those of and
of [33] in the case of a ringlike
space of [33] — one can construct equivalences
and , although we leave the details to the
interested reader, in order avoid a detailed discussion of the
technology for ring spaces.