2018-08-03から1日間の記事一覧
http://www.math.uchicago.edu/~may/BOOKS/gils.pdf B_*(C,C,X)はXのsimplicial resolutionになっている。 つまり、CをTのモナドとしXをC代数とする。 このとき、\epsilon:B_*(C,C,X) \to X_*と\eta:X_* \to B_*(C,C,X)が定まり、\epsilon\eta=1である。 h:B…
http://www.math.uchicago.edu/~may/BOOKS/gils.pdf B_*(C,C,X)はXのsimplicial resolutionになっている。 つまり、CをTのモナドとしXをC代数とする。 このとき、\epsilon:B_*(C,C,X) \to X_*と\eta:X_* \to B_*(C,C,X)が定まり、\epsilon\eta=1である。 h:B…