- k_{j}:X_{j}\rightarrow Y} are two
coproducts of the
family {Xj}{\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...
- (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...
-
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:...
- and only if it has
coequalizers and all (small)
coproducts, or, equivalently,
pushouts and
coproducts.
Finite completeness can be
characterized in several...
- higher-order
fibration over the
category Set for
which the
products and
coproducts induced by
functions satisfy the Beck-Chevalley condition. This disambiguation...
- case of the
coproduct operation, and
general coproducts are
perhaps the most
abstract of all the
generalizations of addition. Some
coproducts, such as direct...
-
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)...
- a
generalization of
mathematical products Fibre product or
pullback Coproduct or
pushout Wick
product of
random variables Graph product Product (Brand...
- Food
versus fuel is the
dilemma regarding the risk of
diverting farmland or
crops for
biofuels production to the
detriment of the food supply. The biofuel...
