Proposition is_complete

Quick Reference

Web ID a581b1fc-5caf-4e67-baab-a457531190e8
Description True if the category is complete. Because we only consider finite categories, this is equivalent to having finite products and equalizers.