Let $\mathbf C$ be a category with finite limits. Then a left exact functor $F\colon \mathbf C\to \mathbf{Set}$ is pro-representable and hence extends to the pro-completion $\mathbf C$. My question is whether it is true that the extension of $F$ preserves finite colimits whenever $F$ does, and if so what is a reference? I'm also curious about arbitrary colimits but for the application I care about, finite colimits (or even coequalizers) are enough.
$\begingroup$
$\endgroup$
4
-
$\begingroup$ what do you mean here by the extension of $F$ to $pro(C)$ the pro-completion of $C$?? $\mathbf{Set}$ has cofiltered limits, so any functor $G \colon C \to \mathbf{Set}$ extends to the pro-completion (this is a free completion) regardless of $F$ being left exact or not. $\endgroup$– Eduardo Pareja TobesJul 22, 2011 at 16:35
-
$\begingroup$ Under my assumptions F is representable on pro(C). I want to know whether this representable functor on pro(C) preserves finite colimits if F did on C. $\endgroup$– Benjamin SteinbergJul 22, 2011 at 17:37
-
$\begingroup$ Ok, I see what you mean; just a little clarification: by "this representable functor on $pro(C)$" you mean 1. $pro(C)(-,F)\colon pro(C)^{op} \to \mathbf{Set}$ or 2. $pro(C)(F,-)\colon pro(C) \to \mathbf{Set}$?? $\endgroup$– Eduardo Pareja TobesJul 24, 2011 at 19:13
-
$\begingroup$ The covariant representable, i.e., option 2. $\endgroup$– Benjamin SteinbergJul 25, 2011 at 18:27
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
1
I am not certain if he provides the answer to your question, but Dan Isaksen's paper: Calculating limits and colimits in pro-categories, Fundamenta Mathematicae 175 (2002) 175--194. is relevant I think. The point is that the reindexing lemmas in procategories provide a powerful tool for calculating limits and colimits.
-
$\begingroup$ No guarantees but it makes some good points. Reindexing lemmas are very important in pro-category theory in order to prove structural lifting results. $\endgroup$ Dec 18, 2011 at 15:07