Implication Details
Assumptions: essentially finite, pullbacks
Conclusions: wide pullbacks
Reason: Each slice category has finite products and is essentially finite, hence has all products by this result followed by this result.
Assumptions: essentially finite, pullbacks
Conclusions: wide pullbacks
Reason: Each slice category has finite products and is essentially finite, hence has all products by this result followed by this result.