What is the definition of a "binary" coproduct and "binary" coequalizer?

219 Views Asked by At

I came across this term in Mac Lane's Category theory and it hasn't been defined previously in the text.

It's quoted as:

If a category has (binary) coproducts and coequalizers, prove that is also has pushouts.

Can someone define what a binary coproduct and binary coequalizer is?

2

There are 2 best solutions below

2
On BEST ANSWER

This should be parsed as "(binary coproducts) and (coequalisers)". A binary coproduct is a coproduct of two objects.

0
On

A binary coproduct is a coproduct of two objects. Normally 'coequaliser' implies binary (i.e. a coequaliser of two parallel morphisms), but I suppose it's possible to have coequalisers of different arities.