The Surgery Obstruction Groups for Finite 2-Groups.
Like the classical Gram-Schmidt theorem for symplectic vector spaces, the sheaf-theoretic version (in which the coefficient algebra sheaf is appropriately chosen) shows that symplectic -morphisms on free -modules of finite rank, defined on a topological space , induce canonical bases (Theorem 1.1), called symplectic bases. Moreover (Theorem 2.1), if is an -module (with respect to a -algebra sheaf without zero divisors) equipped with an orthosymmetric -morphism, we show, like in the classical...
In this paper we introduce a notion of multilinear product for triples in Set, which if it is given by a distributive law then coincides with the one given by Bunge. We also demonstrate that the tensor product of two triples, if there exists, is an initial object in a suitable category of multilinear products.
A new proof is given of the connecting homomorphism.