>>274
> >>273
> 束論は最近、急速に発展してるみたいだね
> 計算機科学との関連の影響らしい。
> 束論は圏論の一種なんで当然かもしれない。

束論が圏論の一種というのは違いと思うけど？
束論の方が古いし、束論が計算機科学で使われるのは
代数的ロジックとの関連（完備束）によるものじゃないの？

４元数なんか応用数学ではベクトルよりも
高速なアルゴリズムが組めるので、
人工生成の制御系なんかで普通に使われてる。