On extensivity of morphisms

Michael Hoefnagel, Emma Theart

Extensivity of a category may be described as a property of coproducts in the category, namely, that they are disjoint and universal. An alternative viewpoint is that it is a prope…