Skip to main content

All Questions

11 votes
3 answers
846 views

Relation between Ind-completion and "additive"-ind-completion

Suppose that $\mathcal{C}$ is a skeletally small additive category. To enlarge $\mathcal{C}$ and produce a bigger category whose "small" objects can be identified with those in $\mathcal{C}$,...
3 A's's user avatar
  • 425
20 votes
2 answers
731 views

Enriched vs ordinary filtered colimits

Filtered categories can be defined as those categories $\mathbf{C}$ such that $\mathbf{C}$-indexed colimits in $\mathrm{Set}$ commute with finite limits. Similarly, for categories enriched in $\mathbf{...
Rune Haugseng's user avatar
4 votes
1 answer
176 views

Why is the category of all small $\mathbf{S}$-enriched categories locally presentable?

In Lurie's Higher Topos Theory Proposition A.3.2.4, the author used Proposition A.2.6.15 to prove that for any combinatorial monoidal model category $\mathbf{S}$ with all objects cofibrant and weak ...
Frank Kong's user avatar
9 votes
3 answers
884 views

Enriched locally presentable categories

Is there a standard reference for the theory (if it exists) of $\mathcal{V}$-enriched locally presentable categories? Here $\mathcal{V}$ is a cosmos. Does anything unexpected happens here in contrast ...
Martin Brandenburg's user avatar