Abstract:A coproduct on a vector space $A$ is defined as a linear map $\Delta:A\to A\otimes A$ satisfying coassociativity $(\Delta\otimes\iota)\Delta=(\iota\otimes\Delta)\Delta$. We use $\iota$ for the identity map. If $G$ is a finite group and if $A$ is the space of all complex functions on $G$, a coproduct on $A$ is defined by $\Delta(f)(p,q)=f(pq)$ where $p,q\in G$. We identify $A\otimes A$ with complex functions on the Cartesian product $G\times G$. Coassociativity follows from the associativity of the product in $G$. Unfortunately, sometimes this notion of a coproduct is not the appropriate one. In this note, we consider the case of an algebra $A$, not necessarily unital but with a non-degenerate product. Now a coproduct is a linear map from $A$ to $M(A\otimes A)$, the multiplier algebra of $A\otimes A$. Unfortunately, it is no longer possible to express coassociativity in its usual form as the maps $\Delta\otimes\iota$ and $\iota\otimes \Delta$, defined on $A\otimes A$, may no longer be defined on the multiplier algebra $M(A\otimes A)$. Similar problems occurs when we want to define a useful notion of a coaction in the case of non-unital algebras. We discuss this in another paper. Not all the results we present in this paper are new. We provide a number of references to the original papers where some of this material is treated. However, in the original papers, results are not always found in an organized form and we hope to improve that here. Further a few solutions to some open questions are included as well as some more peculiar examples. Finally, we discuss some open problems and possible further research.

On coproducts of operator $\mathcal{A}$-systems

Koszul Equivalences in $A_\infty$-Algebras

$C^*$-subproduct and product systems

Reflections on coproducts for non-unital algebras

On $\mathrm{C}^*$-algebras associated to product systems

Coproduct idempotent algebras over internal operads in enriched $\infty$-categories

Beyond Operator Systems

Operator Algebras of Universal Quantum Homomorphisms

Cohomology of Products and Coproducts of Augmented Algebras

Operator Product States on Tensor Powers of $C^\ast$-Algebras

Super Operator Systems, Strong Norms, and Operator Tensor Products

Compactly-aligned discrete product systems, and generalizations of O_\infty

Quotients, exactness, and nuclearity in the operator system category

Operator systems for tolerance relations on finite sets

Coproducts of Monads on Set

Unbounded Products of Operators and Connections to Dirac-Type Operators

Rigidity of operator systems: tight extensions and noncommutative measurable structures

A generalization of K-theory to operator systems

Crossed product splitting of intermediate operator algebras via 2-cocycles

The CCAP for graph products of operator algebras

Operator algebras of free wreath products