*Abstract:* We define algebraic structure on a locally
finitely presentable W-category for a locally finitely presentable
bicategory W with a small set of objects. We further define the
W-category of algebras for given algebraic structure. Each
algebraic structure gives rise to a finitary W-monad with the same
W-category of algebras. Moreover, every finitary W-monad arises in
this way from some algebraic structure; but that algebraic
structure is not uniquely determined by the monad.

**ECS-LFCS-96-342**, April 1996.

This report is available in the following formats:

- PDF file
- Gzipped PDF file
- PostScript file
- Gzipped PostScript file
- PostScript file with Type 1 fonts
- Gzipped PostScript file with Type 1 fonts
- LaTeX DVI file
- Gzipped LaTeX DVI file