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 ϕ:D→Filt(X) with D filtered, RX(colimd∈Dϕ(d),G)=∀d∈DRX(ϕ(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