epsilon

落書き

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

model category 4

https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf The retract argument (lemma 1.1.9) f = piと分解しfがpに対してLLPを持つとする。このときfはiのレトラクト。 実際、id f = p iと見たときにあるhでhf = iとなる。(…