-
universal constructions, the
pushout, if it exists, is
unique up to a
unique isomorphism. Here are some
examples of
pushouts in
familiar categories. Note...
- school, is
considered a
school dropout. In
typical use, the
category of
pushouts excludes students who have been
formally expelled from
school for violating...
-
generalizes constructions such as
disjoint unions,
direct sums, coproducts,
pushouts and
direct limits.
Limits and colimits, like the
strongly related notions...
- pullback. C has all pullbacks, it has
pushouts along monomorphisms, and the
latter are also (bicategorical)
pushouts in the
bicategory of
spans in C. If...
- Y is an open embedding. The
attaching construction is an
example of a
pushout in the
category of
topological spaces. That is to say, the
adjunction space...
-
homotopy pushouts, such as the
mapping cylinder used to
define a cofibration. This
notion is
motivated by the
following observation: the (ordinary)
pushout D...
- in some
cases finite pushouts; they both are
constructed by
gluing affine schemes. For
affine schemes,
fiber products and
pushouts correspond to tensor...
-
Doolittle diagram) is a
diagram that is
simultaneously a
pullback square and a
pushout square. It is a self-dual concept. Adámek, Jiří, Herrlich, Horst, & Strecker...
- only if it has
coequalizers and all (small) coproducts, or, equivalently,
pushouts and coproducts.
Finite completeness can be
characterized in
several ways...
- grammars, they are
usually formulated using the double-
pushout approach or the single-
pushout approach. AGG, a rule-based
visual language that directly...