Algebraic Structure for Bicategory Enriched Categories

R Gordon and A J Power

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:

Previous | Index | Next