- 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:...
- in a
preadditive category must also be a
coproduct, and conversely. In fact,
finite products and
coproducts in
preadditive categories can be characterised...
- preadditive. If, furthermore, the
category has all
finite products and
coproducts, it is
called an
additive category. If all
morphisms have a
kernel and...
-
using the
order relation as the morphisms. In this case the
products and
coproducts correspond to
greatest lower bounds (meets) and
least upper bounds (joins)...
-
disjoint sets is
their union. In
category theory, the
disjoint union is the
coproduct of the
category of sets, and thus
defined up to a bijection. In this context...
