Skip to main content
4 of 5
made \em into italics (which is suggested by Sanath Devalapurkar) plus minor grammar corrections (by me because making it italic alone may be a bit too minor)
Yuichiro Fujiwara
  • 3.7k
  • 1
  • 25
  • 43

How to define a generating subset for algebra in a category?

As is well known, the definition of an algebra can be generalised to the notion of an algebra $A$ in a monoidal category $C$ with finite sums. What I would like to know is if the notion of generating subset of an algebra can be generalised to this context.

I would naively guess that one would need the existence of infinite sums in $C$, define a generating set to be a sub-object $X$ of $A$, such that there is an isomorphism $$ A \simeq \bigoplus_{i \in I} B_i \otimes S \otimes B'_i, $$ for some objects $B_i,B'_i \in C$.

Moreover, is this definition invariant under equivalence of categories, i.e. if $A$ is generated by a subject object $S$ in $C$, which is equivalent to $D$ by a functor $F$, then is $F(A)$ generated by $F(S)$?

Finally, what is a good reference for all this?