https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf Rを環とする。 definition 2.3.3 S^nMをdeg nにのみMを持つcpxとしD^nMをdeg n, n-1にのみMを持ちd=idなるcpxとする。特にM=RのときS^n, D^nと略記する。 IをS^{n-1} …