aがbです。
という入力に対して、
aとbと f(x,y) x->yをそれぞれ同じ空間に入れて、かつfがそこでの演算になるような理論って誰かやってないの？