Remark 1.3.17. This is the categorical analogue of three basic facts about disjoint unions of sets: base change along an inclusion picks out the corresponding summand, every map into a disjoint union decomposes the source into the corresponding fibers, and every set is the disjoint union of its elements.
Generated from the authoritative LaTeX source.