http://www.math.jhu.edu/~eriehl/weighted.pdf enriched categoryでのKan extensionについて。 D:B \to Mのj:B \to Aに沿ったleft Kan extension Lan_jD:A \to Mは、自然変換の同型[A,M](Lan_jD, E) = [B,M](D, Ej)を満たすもの。 jを用いてA-B-bimod JをJ(…