簡単にいえば、ラングランズの相互律予想は函手性予想のうちで簡約代数群が自明である特別の場合であるということ.
ということ