sentences:  The notion of a basis is given in terms of a coalgebra.Given an object "A" from a dagger compact category, a basis is a comonoid object formula_12.The two operations are a "copying" or comultiplication δ