Fixed the typo in the main definition.
(Which had been sitting there for years :-/ This entry deserves to be polished up further, maybe later…)
]]>Change notation for copower to , which appears to be the most common convention.
]]>Thanks for catching this. Yes, I thought I had turned the reference into a hyperlink, but apparently I didn’t hit “submit” for the second step. Fixed now.
Also I have now given the examples their Examples-environments and lumped together those pertaining to that Kelly reference to one example here.
]]>re #5
Did you take out the phrase about Kelly’s book because you were going to fix up the references but then forgot about it?
]]>The next two classes of examples are covered in
Kelly’s book (see references).
The truly mysterious edited highlighted in #2, 3 years ago, removed (in the first of the four edits within 2 seconds) the link to tensored and cotensored category. I have reinstantiated that now. (The other three edits had no visible effect).
]]>[deleted]
]]>Corrected the statement about constructing all weighted limits from copowers and conical colimits: the conical colimits are not just ordinary -based colimits but still must have a -universal property (although the latter is automatic if powers also exist).
]]>Latest Revisions has copower changing 4 times in 2 seconds. What happened there?
]]>expanded copower:
added an Idea-section, an Example-section, and a paragraph on copowers in higher category theory.
]]>