テンソルで現わされる、公理を線形化した幾何を一般化した
代数で表現する。で、その点を連続させて、関数をつくる。
だいたいあってますかね？kingさん？