The Infinite Seminar

In the arXiv mailing from today, February 2nd 2008, there was a large chunk of $A_{\mathrm{\infty }}$-related preprints from Lyubashenko and Manzyuk. Most of these preprints are getting published in journals, or in Max-Planck-Institute report series.

For reference, the arXiv posts I’ll be talking about here are:
http://arxiv.org/abs/0802.2885
http://arxiv.org/abs/math/0211037
http://arxiv.org/abs/math/0306018
http://arxiv.org/abs/math/0312339
http://arxiv.org/abs/math/0701165

In general sweeps - acquired from scanning the abstracts - Lyubashenko and Manzyuk are talking about $A_{\mathrm{\infty }}$-categories as defined by Fukaya, and doing various basic constructions with them - demonstrating that various definitions of unitality coincide, showing a relation to Serre k-linear functors, constructing quotient categories with the same kind of structure et.c.

Now, one question that occurs to me quickly is the following:
Could an $A_{\mathrm{\infty }}$-algebra be considered to be a one-object $A_{\mathrm{\infty }}$-category? And if this is so, can the quotient constructions Lyubashenko and Manzyuk are using be extended (possibly significantly) to form a transferral of $A_{\mathrm{\infty }}$-(co)algebra structure across surjections in general?

And the way off target question: Does this somehow give us a way to transfer $A_{\mathrm{\infty }}$-(co)algebra structures along things like the restriction map in group (co)homology?