Representations of derived A-infinity algebras

The notion of a derived A-infinity algebra arose in the work of Sagave as a natural generalisation of the classical A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We develop some of the basic operadic theory of derived A-infinity algebras, building on work of Livernet-Roitzheim-Whitehouse. In particular, we study the coalgebras over the Koszul dual cooperad of the operad dAs, and provide a simple description of these. We study representations of derived A-infinity algebras and explain how these are a two-sided version of Sagave's modules over derived A-infinity algebras. We also give a new explicit example of a derived A-infinity algebra.