20
$\begingroup$

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{V}$ (where the appropriate notion of colimits is colimits weighted by enriched presheaves) one can define a presheaf $W \colon \mathbf{C}^{\mathrm{op}} \rightarrow \mathbf{V}$ to be ($\kappa$-)flat if $W$-weighted colimits in $\mathbf{V}$ commute with finite ($\kappa$-small) limits in $\mathbf{V}$ (for some regular cardinal $\kappa$). Borceux, Quinteiro, and Rosický take this as a starting point to develop a theory of accessible and presentable $\mathbf{V}$-categories in their paper "A theory of enriched sketches".

BQR show that in some ways flat weighted colimits are closely related to ordinary (conical) filtered colimits. For example, they show that if $\mathbf{C}$ has finite ($\kappa$-small) weighted limits, then a presheaf on $\mathbf{C}$ is ($\kappa$-)flat if and only if it is a ($\kappa$-)filtered ordinary colimit of representable presheaves. However, they give a counterexample that shows this need not be true for arbitrary $\mathbf{C}$ - but in this example it is still true that flat presheaves are filtered colimits of absolute colimits of representables.

Question 1: A $\kappa$-filtered ordinary colimit of absolute colimits of representables is always a $\kappa$-flat presheaf. Is anything further known (or expected) about the other direction, i.e. whether every $\kappa$-flat presheaf can be decomposed as such a colimit (or some variant involving two cardinals)?

Let me add a second closely related question that indicates why one might care about the first one. BQR prove that if $\mathbf{M}$ is a presentable $\mathbf{V}$-category then its underlying ordinary category is also presentable.

Question 2: Suppose $\mathbf{M}$ is a cocomplete $\mathbf{V}$-category whose underlying category is presentable. Does this imply that $\mathbf{M}$ is a presentable $\mathbf{V}$-category?

(This would be the case if the two classes of presheaves in the first question coincide.)

$\endgroup$
7
  • 1
    $\begingroup$ I doubt that Question 2 has an affirmative answer in general. In my head, the kingdom of Benabou cosmoi $(V, \otimes, I)$ is broken into four phyla, according to the answers to the following two questions: a.) Is $(V,\otimes, I)$ cartesian? and b.) Is $Hom(I,-): V \to Set$ conservative? If the answer to (b) is negative (e.g. when $V = (sSet, \times, \Delta[0])$ or $V = ([0,\infty], +, 0)$), then I think that the answer to your Question (2) is probably negative. $\endgroup$
    – Tim Campion
    Jul 27, 2020 at 21:12
  • $\begingroup$ @TimCampion Is your second $V$ presentable? $\endgroup$ Jul 28, 2020 at 10:37
  • 1
    $\begingroup$ @RuneHaugseng Any idempotent complete small category is accessible, and $[0,\infty]$ is cocomplete, so it's locally presentable. $\endgroup$ Jul 28, 2020 at 21:46
  • 1
    $\begingroup$ @RuneHaugseng No, it's really true. Try letting $\kappa$ be the cardinality of the set of morphisms. $\endgroup$ Jul 28, 2020 at 23:14
  • 2
    $\begingroup$ It's something like that. If $J\to \mathcal C$ is $\kappa-$filtered where $|\mathcal C|<\kappa$ then there's a subgraph $J'\to J$ with $|J'|<\kappa$ such that the image of $J'$ coincides with the image of $J$, then a cocone over $J'$ is a cocone over $J$, and any diagram containing a cocone over itself has a retract of that cocone as a colimit. $\endgroup$ Jul 29, 2020 at 1:35

2 Answers 2

8
$\begingroup$

For Q1: something related is dealt with in a context more general than the classical one by Adamek, Borceux, Lack and Rosicky in their paper "A classification of accessible categories". They replace finite or $\kappa$-small limits with an arbitrary class of limits $\mathbb{D}$, and consider a condition which they call soundness, one of whose consequences is a decomposition of every $\mathbb{D}$-flat weight as a suitably "$\mathbb{D}$-filtered" colimit of representables.

This is all in the unenriched context, which is not what you want, but the point is that they make axiomatic assumptions which are more or less exactly what is needed to force the answer to your question 1 to be true. Make of that what you will, but it at least suggests that it's not automatic, and will probably require a bespoke argument in each situation.

For Q2: No. I guess the classical reference is Kelly's "Structures defined by finite limits in the enriched context." If $\mathcal V$ is a symmetric monoidal closed category which is locally $\kappa$-presentable as a closed category (i.e., it is locally $\kappa$-presentable and the $\kappa$-presentable objects are closed under the monoidal structure), then there is a good notion of locally $\lambda$-presentable $\mathcal V$-category: they are precisely the cocomplete $\mathcal V$-categories, whose underlying ordinary categories are locally $\lambda$-presentable, and whose $\lambda$-presentable objects are closed under tensors (=copowers) with $\lambda$-presentable objects of $\mathcal V$. Without this last condition, there is a gap through which to thread a negative answer to your question.

EDIT

I agree with Simon that if $\mathcal{C}$ is a cocomplete $\mathcal{V}$-category whose underlying category is locally presentable, then one can always find some $\kappa$ such that $\mathcal{C}$ is locally presentable as a $\mathcal{V}$-category, meaning that $\mathcal{C}_0$ is locally $\kappa$-presentable and the $\kappa$-presentable objects are closed under tensors by $\kappa$-presentable objects of $\mathcal{V}$.

Here, by saying that $X \in \mathcal C$ is $\kappa$-presentable, I just mean that $\mathcal C(X,\text{-}) \colon \mathcal{C} \rightarrow \mathcal V$ preserves conical filtered colimits (this is Kelly's definition). As Rune says, one could also talk of $X \in \mathcal C$ being $\kappa$-compact, meaning that $\mathcal C(X,\text{-})$ preserves $\kappa$-flat colimits. Since there is in no reason to believe that every $\kappa$-flat weight is a $\kappa$-filtered conical colimit of representables, these two notions will in general be distinct.

However, they coincide when $\mathcal C$ is locally $\kappa$-presentable as a $\mathcal V$-category: so all the $\kappa$-presentable objects are $\kappa$-compact in the enriched sense. This is actually in the BQR paper you cite (Lemma 6.5) and follows from the following fact. Let us write $\mathcal A$ for the essentially small full subcategory of $\kappa$-presentable objects. Clearly $\mathcal A$ has $\kappa$-small colimits, and $\mathcal C$ is the free completion $\kappa\text-\mathbf{Filt}(\mathcal A)$ of $\mathcal A$ under conical $\kappa$-filtered colimits. But in fact, $\mathcal C$ is also the free completion $\kappa\text-\mathbf{Flat}(\mathcal A)$ of $\mathcal A$ under $\kappa$-flat colimits. Given this, a functor out of $\mathcal C$ preserves conical $\kappa$-filtered colimits iff it is the left Kan extension of its own restriction to $\mathcal A$, iff it preserves $\kappa$-flat colimits: in particular, $\kappa$-presentability and $\kappa$-compactness in $\mathcal C$ will coincide.

That $\kappa\text-\mathbf{Flat}(\mathcal A) = \kappa\text-\mathbf{Filt}(\mathcal A)$ is proven in Theorem 6.11 of Kelly's "Structures defined by...", or equally by Prop 4.5 of BQR (as you mention in your question.)

$\endgroup$
2
  • 4
    $\begingroup$ Regarding to Q2, I'm not sure you are fully correct: My understanding is that while there is indeed a mismatch between locally $\lambda$-presentable in the enriched and unenriched case, it is still is the case that if $V$ itself is locally presentable presentable, then local presentability in the enriched case and unenriched case are equivalent, just for possibly different value of $\lambda$. The point is that if $M$ is $V$ enriched and locally presentable, then the tensor $V \otimes M \to M$ is accessible, hence preserve $\lambda$-presentable object for some $\lambda$. $\endgroup$ Aug 4, 2020 at 12:15
  • 2
    $\begingroup$ I think @SimonHenry is right - you can always find some $\kappa$ such that the full subcategory of $M$ consisting of objects that are $\kappa$-compact in the underlying category of $M$ has $\kappa$-small $V$-colimits and generates $M$ under (conical) $\kappa$-filtered limits. However, it seems unclear whether you can always choose $\kappa$ such that these objects are also $\kappa$-compact in the enriched sense, i.e. mapping out commutes with $\kappa$-flat weighted limits, which would be required for $M$ to be $V$-presentable. $\endgroup$ Aug 6, 2020 at 9:03
6
$\begingroup$

We deal with Question 1 in this paper, joint with Steve Lack.

In general it is not true that every $\kappa$-flat presheaf lies in the closure of the resperesntables under $\kappa$-filtered colimits and absolute colimits. That's the case for example when $\mathcal V=\mathbf{Set}^G$, for a non-trivial finite group $G$ (see Section 5 of the paper).

However, there are many bases of enrichments for which the equality holds. In fact, whenever $\mathcal V$ is locally $\kappa$-presentable as a closed category and $\mathcal V(I,-)$ is (weakly) cocontinuous and (weakly) strong monoidal, then every $\kappa$-flat presheaf is a $\kappa$-filtered colimit of representables. (In this case absolute colimits reduce to the usual splittings of idempotents.) Therefore the existence and preservation of $\kappa$-flat colimits is equivalent to that of $\kappa$-filtered colimits in any $\mathcal V$-category (for $\mathcal V$ as above). Examples of such bases are the cartesian closed categories $\mathbf{Set}$ of sets, $\mathbf{Cat}$ of small categories, $\mathbf{SSet}$ of simplicial sets, $\mathbf{2}$ of the free-living arrow, $\mathbf{Pos}$ of partially ordered set, etc.

We also investigate the case when $\kappa$-flat colimits are generated by $\kappa$-filtered colimits plus other absolute colimits (such as finite direct sums and copowers by dualizable objects). Examples of $\mathcal V$ for this setting include the monoidal categories $\mathbf{CMon}$ of commutative monoids, $\mathbf{Ab}$ of abelian groups, $R\textit{-}\mathbf{Mod}$ of $R$-modules for a commutativering $R$, and $\mathbf{GAb}$ of graded abelian groups.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.