Tabuadaの
https://arxiv.org/pdf/0706.2420.pdf
dg categoriesのuniversal localizing invariantを構成する。
dg catsとMorita eqのなすmodel cat dgcatからderivator HO(dgcat)を定める。
derivatorの射U_l:HO(dgcat) \to M^loc_dgで普遍性を満たすものを作る。
M^loc_dgはtriangulated strong derivatorであり、U_lはfiltered homotopy colimと交換し、pointを保ち、exact seqをtriangleに移す。
これと同様に、universal additive invariant U_a:HO(dgcat) \to M^add_dgも構成する。
