2018-09-09から1日間の記事一覧
https://faculty.math.illinois.edu/~cmalkiew/stable.pdf exercise. HoSpectraの自己関手\Sigmaと\Omegaを - \Sigma(X) = (\Sigma^\infty S^1) \wedge X - \Omega(X) = F(\Sigma^\infty S^1, X) と定義する。 このとき、これらは随伴になる。 実際、 [\Sigm…
https://faculty.math.illinois.edu/~cmalkiew/stable.pdf exercise. HoSpectraの自己関手\Sigmaと\Omegaを - \Sigma(X) = (\Sigma^\infty S^1) \wedge X - \Omega(X) = F(\Sigma^\infty S^1, X) と定義する。 このとき、これらは随伴になる。 実際、 [\Sigm…