The notion of extensive categories is established by
Carboni et. al. [1]}, and widely accepted
as a natural generalization of distributive categories.
For example, any topos is extensive.
We shall give a definition of extensive categories in the next section.
The following proposition is known.
