For a finite diagram in a category , set and . The two maps on the -summand are the injection of and the injection of after . Their coequalizer is the colimit of . The pair is a reflexive pair with the same coequalizer. Thus finite coproduct in a category constructions and coequalizers of reflexive pairs suffice, including the empty coproduct for the empty diagram. Finite products cannot replace coproducts here: the poset with elements , order , and incomparable has finite meets and top , hence finite categorical products. Every reflexive parallel pair is an equal pair and has its identity as coequalizer, but have no least upper bound and therefore no coproduct.

Articles by others on the same topic (0)

There are currently no matching articles.