The entry for Set^op says that Set^op is not extensive. It also says that it cannot tell whether or not Set^op is lextensive. However, CatDat is supposed to know that lextensive is equivalent to extensive + finitely complete! (see https://catdat.app/category-property/lextensive)
So it should deduce that Set^op is not lextensive... unless I'm missing something, of course.
The entry for Set^op says that Set^op is not extensive. It also says that it cannot tell whether or not Set^op is lextensive. However, CatDat is supposed to know that lextensive is equivalent to extensive + finitely complete! (see https://catdat.app/category-property/lextensive)
So it should deduce that Set^op is not lextensive... unless I'm missing something, of course.