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.
added to finite limit the statement that a category has finite limits if it has binary products and equalizers
So it reduces to the products and equalizers case.
I have added a textbook reference for the claim in the entry (this Prop.) that existence of finite limits is implied by existence of finite products+equalizers and from pullbacks+terminal object, namely Prop. 2.8.2 in Borceux Vol. 1.
But now there seems to be an issue with the entry, which goes on to say (in this remark) something that sounds like it contradicts Borceux’s Prop. 2.8.2: Borceux says that finite limits exist if and only if those other conditions hold, while the remark in the entry makes it sound (with its “More precisely…”) that this is the case not for finite limits but for L-finite limits. (?)
Couldn’t it be the case both for finite limits and for L-finite limits?
It is true that “more precisely” is not really the appropriate phrase; the proposition is completely precise already, the remark is just adding to it.
Let’s see. Taken at face value, the remark says that those two conditions (existence of pullbacks etc.) imply not just the existence of finite limits, but of the larger class of L-finite limits. If that’s not in contradiction to Borceux’s claim, then it follows that existence of finite limits already implies existence of L-finite limits. If that ’s the case, then this remark should simply be moved to another spot in the entry as a stand-alone remark on finite limits.
I have re-worded that remark on L-finite limits (here) towards what I am guessing it’s saying (but I have no actual idea of what L-finite limits are, so please check and fix as necessary).
While I was at it, I also expanded that Prop. here a fair bit, adding that functors that preserve any one of the three classes of limits also preserve the other two.
added to that remark a substantiating pointer to Prop. 7 in Paré 1990
1 to 9 of 9