Proposition has_finite_products

Quick Reference

Web ID 1a52ca8e-7c83-42bd-9879-552625586589
Description True if the category has all finite products. Equivalent to having a terminal object and all binary products.