epsilon

落書き

2018-02-25から1日間の記事一覧

small object argument 2

https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf lemma 2.1.11 \lambdaがordinalでX:\lambda \to Cが\lambda-seqであり(つまりcolimitを保ち)、X(\beta) \to X(\beta+1)はIのpushoutであるか同型であるとする。 こ…