2018-03-23から1日間の記事一覧
Tabuadaの https://arxiv.org/pdf/0706.2420.pdf derived Kan extension Aをsmall catとし、Fun(A^op, Sset)をprojective model structureによるQuillen model categoryとする。つまりfibとweを各F_aがSsetのfibとweであるように定める。 関手h:A \to Fun(A^…
Tabuadaの https://arxiv.org/pdf/0706.2420.pdf derived Kan extension Aをsmall catとし、Fun(A^op, Sset)をprojective model structureによるQuillen model categoryとする。つまりfibとweを各F_aがSsetのfibとweであるように定める。 関手h:A \to Fun(A^…