All Questions
1 question
5
votes
1
answer
317
views
Is Cauchy completion the largest extension with the same free cocompletion?
EDIT Title has been edited.
Let $C$ be a category, and $$\hat{C} = [C^{op}, (Set)]$$ be its free cocompletion. Despite its name, the free cocompletion of free cocompletion is not equivalent to the ...