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.
Old query box:
+–{: .query} Mike: Are weighted limits and weighted colimits really different enough that they need entirely separate pages?
Todd: I saw a lot of requests for weighted colimits from other pages; thus prompted, I started writing this.
I haven’t been following discussion about duplication of material. I’m guessing it irritates some people, which I don’t understand really. My own guess is that in the present case, it might help having separate pages, rather than force non-experts to deduce what they need to know about weighted colimits by staring at the article on weighted limits. But I’m generally open to discussion.
Toby: For pedagogical purposes, the examples might well be different. In any case, since this is written somewhat differently from weighted limit, we could also consider which is better and edit the other to match (or not, if we want to give its approach a chance too). =–
1 to 2 of 2