by the unit ball is the cofactors.

The coproduct of a poset category is the join operation.

Discussion

The coproduct construction given above is actually a special case of a colimit in category theory. The coproduct in a category can be defined as the colimit of any functor from a discrete category into . Not every family

1.Previous
3.Next