Proposition has_finite_coproducts

Quick Reference

Web ID e226f70b-5780-4c88-8178-85159e9c9145
Description True if the category has all finite coproducts. Equivalent to having a initial object and all binary coproducts.