Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorBartek
   • CommentTimeApr 15th 2017
   • (edited Apr 15th 2017)
   • PermaLink
   Author: Bartek
   Format: MarkdownItexI was wondering if anyone could add some more examples to the pages on [powers](https://ncatlab.org/nlab/show/power) and [copowers](https://ncatlab.org/nlab/show/copower)? The only examples featured on both pages are the obvious ones: 1. a closed monoidal category is (co)powered over itself 2. (co)complete locally small categories are (co)powered over Sets. For instance, are there any good examples of abelian categories, such as abelian sheaves, which are (co)powered over abelian groups? Or categories which are (co)powered over chain complexes?

   I was wondering if anyone could add some more examples to the pages on powers and copowers?

   The only examples featured on both pages are the obvious ones:

   1. a closed monoidal category is (co)powered over itself

   2. (co)complete locally small categories are (co)powered over Sets.

   For instance, are there any good examples of abelian categories, such as abelian sheaves, which are (co)powered over abelian groups? Or categories which are (co)powered over chain complexes?

2. • CommentRowNumber2.
   • CommentAuthorTodd_Trimble
   • CommentTimeApr 15th 2017
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexThis was asked also at [MO](https://mathoverflow.net/questions/266964/examples-of-enriched-categories-which-are-copowered-or-cotensored); I guess you are the author. I think the reason the question wasn't received better is that there's an "embarrassment of riches": most of the reasonable examples encountered in the wild, such as abelian sheaves, have powers and copowers. I added a comment on that at MO. Here's an example where an enriched category is $Set$-complete but not complete in the enriched sense: consider monoids $M$ as 1-object categories $B M$, so that monoids are enriched in $Cat$ (the $Cat$-hom being given by $Cat(B M, B N)$). Then $Cat$-powers don't exist in $Mon$. For example, if $\mathbf{2}$ is the arrow category and $M$ has more than one element, then the power $M^\mathbf{2}$ doesn't exist in $Mon$ (in $Cat$ it's the category whose objects are elements of $M$ and where morphisms $m \to n$ are elements $a$ such that $a m = n a$).

   This was asked also at MO; I guess you are the author. I think the reason the question wasn’t received better is that there’s an “embarrassment of riches”: most of the reasonable examples encountered in the wild, such as abelian sheaves, have powers and copowers. I added a comment on that at MO.

   Here’s an example where an enriched category is $Set$-complete but not complete in the enriched sense: consider monoids $M$ as 1-object categories $B M$, so that monoids are enriched in $Cat$ (the $Cat$-hom being given by $Cat(B M, B N)$). Then $Cat$-powers don’t exist in $Mon$. For example, if $\mathbf{2}$ is the arrow category and $M$ has more than one element, then the power $M^\mathbf{2}$ doesn’t exist in $Mon$ (in $Cat$ it’s the category whose objects are elements of $M$ and where morphisms $m \to n$ are elements $a$ such that $a m = n a$).

3. • CommentRowNumber3.
   • CommentAuthorBartek
   • CommentTimeApr 19th 2017
   • (edited Apr 19th 2017)
   • PermaLink
   Author: Bartek
   Format: MarkdownItexThanks! Your answer on MO was very helpful. When I have some time I'll add some of your examples to the nLab page.

   Thanks! Your answer on MO was very helpful. When I have some time I’ll add some of your examples to the nLab page.

4. • CommentRowNumber4.
   • CommentAuthorTodd_Trimble
   • CommentTimeApr 19th 2017
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexThanks, Bartek. I had added something ever so brief to [[copower]], but there's room for other additions. :-)

   Thanks, Bartek. I had added something ever so brief to copower, but there’s room for other additions. :-)