Abstract. The notion of prop models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props.

Abstract. In this paper and its follow-up [MV08], we study the deformation theory of morphisms of properads and props thereby extending Quillen’s deformation theory for commutative rings to a non-linear framework. The associated chain complex is endowed with an L∞-algebra structure. Its Maurer-Cartan elements correspond to deformed structures, which allows us to give a geometric interpretation of these results.

Abstract. In this paper we introduce a notion of generalized operad containing as special cases various kinds of operad–like objects: ordinary, cyclic, modular, properads etc. We then construct inner cohomomorphism objects in their categories (and categories of algebras over them). We argue that they provide an approach to symmetry and moduli objects in non-commutative geometries based upon these “ring–like ” structures. We give a unified axiomatic treatment of generalized operads as functors on categories of abstract labeled graphs. Finally, we extend inner cohomomorphism constructions to more general categorical contexts. This version differs from the previous ones by several local changes (including the title) and two extra references. 0.1. Inner cohomomorphisms of associative algebras. Let k be a field. Consider pairs A = (A, A1) consisting of an associative k–algebra A and a finite dimensional subspace A1 generating A. For two such pairs A = (A, A1) and B =

Dedicated to Jean-Louis Loday, on the occasion of his sixtieth birthday 1 Abstract. In this article we give a conceptual definition of Manin products in any category endowed with two coherent monoidal products. This construction can be applied to associative algebras, non-symmetric operads, operads, colored operads, and properads presented by generators and relations. These two products, called black and white, are dual to each other under Koszul duality functor. We study their properties and compute several examples of black and white products for operads. These products allow us to define natural operations on the chain complex defining cohomology theories. With these operations, we are able to prove that Deligne’s conjecture holds for a general class of operads and is not specific to the case of associative algebras. Finally, we prove generalized versions of a few conjectures raised by M. Aguiar and J.-L. Loday related to the Koszul property of operads defined by black products. These operads provide infinitely many examples for this generalized Deligne’s conjecture.

Abstract. We define a new monoidal category on collections (shuffle

For f ∈ Hom(V ⊗n, V) and g ∈ Hom(V ⊗m, V), binary product f ⋆ g:= n∑ i=1

Abstract. In this paper we construct internal cohomomorphism objects in various categories of operads (ordinary, cyclic, modular, properads...) and algebras over operads. We argue that they provide an approach to symmetry and moduli objects in non-commutative geometries based upon these “ring–like ” structures. We give also a unified axiomatic treatment of operads as functors on labeled graphs. Finally, we extend internal cohomomorphism constructions to more general categorical contexts. 0.1. Internal cohomomorphisms of associative algebras. Let k be a field. Consider pairs A = (A, A1) consisting of an associative k–algebra A and a finite dimensional subspace A1 generating A. For two such pairs A = (A, A1) and

We construct free monoids in a monoidal category (C, ⊗, I) with finite limits and countable colimits, in which tensoring on either side preserves reflexive coequalizers and colimits of countable chains.