nLab
categorical algebra

Context

Category theory

Algebra

Contents

Idea

Broadly speaking, categorical algebra is algebra seen from and generalized via the point of view of category theory. Thus it studies those aspects of categorical and category-like constructions which are in the spirit of pure algebra.

First and foremost this includes the study of monoidal category theory, and the corresponding notions of monoid objects, module objects.

More generally, it is about the study of

  1. algebras over algebraic theories,

  2. algebras over monads,

  3. algebras over operads.

References

See also

Last revised on June 11, 2018 at 05:57:23. See the history of this page for a list of all contributions to it.