自己関手F, G: C → Cがあって、自然変換τ: F → Gがあったら、F代数とG代数の間になにか対応あるの?