ケリー双対の話で、左双対を持つが右双対を持たない（逆かも？）例とかあるらしい。それで、少し考えた。Rの無限列(x1, x2, ...)を考える。その全体をR∞、有限個の成分を除いて0なものをR(∞)とする。同じように、無限行列をR∞×∞、有限個の成分を除いて0な行…

Title: Higher-dimensional Algebra and Topological Quantum Field Theory Authors: John C. Baez, James Dolan URL: http://www.arxiv.org/abs/q-alg/9503002 36ページ これは以前に印刷したような。The Eckmann-Hilton argumentが記憶にある。セリンガー…