Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
In topogeny:
Lemma 2. Given diagram $\phi: D \to Filt(X)$ with $D$ filtered, $R_X(colim_{d\in D}\; \phi(d), G) = \forall_{d \in D} R_X(\phi(d), G)$.
But isn’t colimit for a poset (such as $Filt(X)$) just a join (supremum)? And AFAIK, supremum does not depend on whether the diagram $D$ is filtered.
What do I misunderstand?
I answered in a private email to Victor.
1 to 2 of 2