http://ambp.cedram.org/cedram-bin/article/AMBP_2003__10_2_195_0.pdf まずintroから。 Aをsmall categoryとしComp(A)をA上のabel群のcomplexのpresheafの圏とする。 u:A \to Bに対し逆像u^*:Comp(B) \to Comp(A)は右随伴u_*:Comp(A) \to Comp(B)を持つ。 …