もし圏"c"と"d"が"j"の形の全ての極限を持っているならば、limは関手であり、τ"f"は自然変換