- k_{j}:X_{j}\rightarrow Y} are two
coproducts of the
family { X j } {\displaystyle \lbrace X_{j}\rbrace } , then (by the
definition of
coproducts)
there exists a unique...
- morphism.
Pushouts are
equivalent to
coproducts and
coequalizers (if
there is an
initial object) in the
sense that:
Coproducts are a
pushout from the initial...
-
colimit generalizes constructions such as
disjoint unions,
direct sums,
coproducts,
pushouts and
direct limits.
Limits and colimits, like the
strongly related...
- (also
called the
direct sum, free union, free sum,
topological sum, or
coproduct) of a
family of
topological spaces is a
space formed by
equipping the...
- and only if it has
coequalizers and all (small)
coproducts, or, equivalently,
pushouts and
coproducts.
Finite completeness can be
characterized in several...
-
properties of the
category of modules. In such a category,
finite products and
coproducts agree, and the
direct sum is
either of them: cf. biproduct.
General case:...
- (equivalently, all
finite coproducts); note that
because C is also preadditive,
finite products are the same as
finite coproducts,
making them biproducts;...
- in a
preadditive category must also be a
coproduct, and conversely. In fact,
finite products and
coproducts in
preadditive categories can be characterised...
-
addition and multiplication, can be seen as
carrying information about coproducts and
products of the
category of
finite sets. Less abstractly, the idea...
-
union An
empty sum or
empty coproduct An
initial object in a
category (an
empty coproduct, and so an
identity under coproducts) An
absorbing element in a...
