Proposition is_cocomplete

Quick Reference

Web ID 3b1b76be-f2cb-44d0-9b12-a91f347af7b7
Description True if the category is cocomplete. Because we only consider finite categories, this is equivalent to having finite coproducts and coequalizers.