A Leibniz algebra structure on the second tensor power.
Distributive law is a way to compose two algebraic structures, say and , into a more complex algebraic structure . The aim of this paper is to understand distributive laws in terms of operads. The central result says that if the operads corresponding respectively to and are Koszul, then the operad corresponding to is Koszul as well. An application to the cohomology of configuration spaces is given.
We describe a unifying approach to a variety of homotopy decompositions of classifying spaces, mainly of finite groups. For a group G acting on a poset W and an isotropy presheaf d:W → (G) we construct a natural G-map which is a (non-equivariant) homotopy equivalence, hence is a homotopy equivalence. Different choices of G-posets and isotropy presheaves on them lead to homotopy decompositions of classifying spaces. We analyze higher limits over the categories associated to isotropy presheaves...
The notion of free group is defined, a relatively wide collection of groups which enable infinite set summation (called commutative -group), is introduced. Commutative -groups are studied from the set-theoretical point of view and from the point of view of free groups. Commutativity of the operator which is a special kind of inverse limit and factorization, is proved. Tensor product is defined, commutativity of direct product (also a free group construction and tensor product) with the special...