M. Barr, Separability of tensor in Chu categories of vector spaces, Appendix to [10].  Home/Search   Document Not in Database   Summary   Related Articles

....is an autonomous (symmetric monoidal closed) category. It is important to note that while the monoidal structure exists for abstract reasons, it is possible to prove that the underlying vector space of V Omega LT W is the usual algebraic tensor product. This issue is discussed in Barr s note [8], which is an appendix to [10] We now define duality for this category. Given an object V in T VEC we define V to be V Gammaffi LT k where the base field k is topologized discretely. Lefschetz proves: Theorem 5.4 (Lefschetz) The map : V V is a bijection, for all V . Thus linear ....

M. Barr, Separability of tensor in Chu categories of vector spaces, Appendix to [10].

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC