Mixing
Pushout exists in category of pointed topological spaces
Clash Royale CLAN TAG#URR8PPP
up vote
2
down vote
favorite
It is not mentioned anywhere but do push out always exists in pointed spaces? (I will omit the points below) We have something like
$requireAMScd$
beginCD
X @>f>> Y\
@V g V V @VV V\
Z @>>> Yvee Z/sim
endCD
I claim the push out is $Y vee Z / sim$.
where $Yvee Z$ is the pointed space, $Y sqcup Z / *_Y cup *_Z $.
$sim$ is the relation generated by $i_Yf(x)sim i_Zg(x)$ for $x in X$. $i_X,i_Z$ being inclusions.
Proof: A cocone of the push out diagarm, with maps $g':Z rightarrow A, f':Y rightarrow A$ induces a map $Y vee Z rightarrow A$. But the conditions that it is a cocone induces a map $Y vee Z /sim rightarrow A$.
general-topology category-theory
edited Jul 19 at 7:52
Alessandro Codenotti
3,22711236
asked Jul 19 at 7:35
Cyryl L.
1,7112821
add a comment |Â
up vote
2
down vote
favorite
It is not mentioned anywhere but do push out always exists in pointed spaces? (I will omit the points below) We have something like
$requireAMScd$
beginCD
X @>f>> Y\
@V g V V @VV V\
Z @>>> Yvee Z/sim
endCD
I claim the push out is $Y vee Z / sim$.
where $Yvee Z$ is the pointed space, $Y sqcup Z / *_Y cup *_Z $.
$sim$ is the relation generated by $i_Yf(x)sim i_Zg(x)$ for $x in X$. $i_X,i_Z$ being inclusions.
Proof: A cocone of the push out diagarm, with maps $g':Z rightarrow A, f':Y rightarrow A$ induces a map $Y vee Z rightarrow A$. But the conditions that it is a cocone induces a map $Y vee Z /sim rightarrow A$.
general-topology category-theory
edited Jul 19 at 7:52
Alessandro Codenotti
3,22711236
asked Jul 19 at 7:35
Cyryl L.
1,7112821
add a comment |Â
up vote
2
down vote
favorite
up vote
2
down vote
favorite
It is not mentioned anywhere but do push out always exists in pointed spaces? (I will omit the points below) We have something like
$requireAMScd$
beginCD
X @>f>> Y\
@V g V V @VV V\
Z @>>> Yvee Z/sim
endCD
I claim the push out is $Y vee Z / sim$.
where $Yvee Z$ is the pointed space, $Y sqcup Z / *_Y cup *_Z $.
$sim$ is the relation generated by $i_Yf(x)sim i_Zg(x)$ for $x in X$. $i_X,i_Z$ being inclusions.
Proof: A cocone of the push out diagarm, with maps $g':Z rightarrow A, f':Y rightarrow A$ induces a map $Y vee Z rightarrow A$. But the conditions that it is a cocone induces a map $Y vee Z /sim rightarrow A$.
general-topology category-theory
edited Jul 19 at 7:52
Alessandro Codenotti
3,22711236
asked Jul 19 at 7:35
Cyryl L.
1,7112821
It is not mentioned anywhere but do push out always exists in pointed spaces? (I will omit the points below) We have something like
$requireAMScd$
beginCD
X @>f>> Y\
@V g V V @VV V\
Z @>>> Yvee Z/sim
endCD
I claim the push out is $Y vee Z / sim$.
where $Yvee Z$ is the pointed space, $Y sqcup Z / *_Y cup *_Z $.
$sim$ is the relation generated by $i_Yf(x)sim i_Zg(x)$ for $x in X$. $i_X,i_Z$ being inclusions.
Proof: A cocone of the push out diagarm, with maps $g':Z rightarrow A, f':Y rightarrow A$ induces a map $Y vee Z rightarrow A$. But the conditions that it is a cocone induces a map $Y vee Z /sim rightarrow A$.
general-topology category-theory
edited Jul 19 at 7:52
Alessandro Codenotti
3,22711236
asked Jul 19 at 7:35
Cyryl L.
1,7112821
edited Jul 19 at 7:52
Alessandro Codenotti
3,22711236
edited Jul 19 at 7:52
Alessandro Codenotti
3,22711236
edited Jul 19 at 7:52
Alessandro Codenotti
3,22711236
3,22711236
asked Jul 19 at 7:35
Cyryl L.
1,7112821
asked Jul 19 at 7:35
Cyryl L.
1,7112821
asked Jul 19 at 7:35
Cyryl L.
1,7112821
1,7112821
add a comment |Â
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
1
down vote
For any category $mathcal C$ and any object $c$, a diagram $D: J to cbackslashmathcal C$ in the coslice category induces a diagram $tilde D : tilde J to mathcal C$ where $tilde J$ is the category $J$ with a formal initial object $varnothing$, such that
$$ tilde D(varnothing to j) = D(j) qquad tilde D (k overset f to k') = D(f) qquad forall j, f:kto k'in J$$
(This is just formally saying that if you draw a diagram in $cbackslash mathcal C$, then you can look at the "same" diagram and view it in $mathcal C$.)
Then colimits of $D$ coincide with those canonical maps $cto K$ where $K$ is a colimit of $tilde D$. It is more or less tautological and reduces to the definition of morphism in $cbackslash mathcal C$.
Take now $mathcal C = mathsfTop$ and $c = ast$. It tells you that the pushout of $(Y,y) overset fleftarrow (X,x) overset gto (Z,z)$ exists in pointed topological spaces and is $(Ysqcup_X Z, ast)$ where $ast$ is $z=y$ in that space. So your construction seems OK, but there is no need to take first the quotient by $ysim z$ as it will be done by the latter $f(x)sim g(x)$ (remember $f,g$ are pointed maps so they must take the distinguish point to the distinguish point).
answered Jul 19 at 8:26
Pece
7,92211040
add a comment |Â
up vote
0
down vote
Most categories of "all" mathematical objects of a given type have all (small) limits and colimits. Examples are categories of algebraic obects, in which limits are constructed as in sets, or a more general underlying category, and colimits are constructed out of the free algebras and categories of topological objects, as you have here. Unpointed topological spaces have all limits and colimits constructed as in sets, with an appropriately maximal or minimal topology. Pointed topological spaces then inherit all limits and colimits: limits and connected colimits, such as pushouts, are constructed as in spaces, while for non-connected colimits we also have to identify the basepoints, as in the wedge product. This can be seen as a special case of the story about algebraic objects mentioned above: a pointed object is an algebra for the very boring theory that says "there's a chosen element and no operations."
answered Jul 19 at 17:47
Kevin Carlson
29.2k23065
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
For any category $mathcal C$ and any object $c$, a diagram $D: J to cbackslashmathcal C$ in the coslice category induces a diagram $tilde D : tilde J to mathcal C$ where $tilde J$ is the category $J$ with a formal initial object $varnothing$, such that
$$ tilde D(varnothing to j) = D(j) qquad tilde D (k overset f to k') = D(f) qquad forall j, f:kto k'in J$$
(This is just formally saying that if you draw a diagram in $cbackslash mathcal C$, then you can look at the "same" diagram and view it in $mathcal C$.)
Then colimits of $D$ coincide with those canonical maps $cto K$ where $K$ is a colimit of $tilde D$. It is more or less tautological and reduces to the definition of morphism in $cbackslash mathcal C$.
Take now $mathcal C = mathsfTop$ and $c = ast$. It tells you that the pushout of $(Y,y) overset fleftarrow (X,x) overset gto (Z,z)$ exists in pointed topological spaces and is $(Ysqcup_X Z, ast)$ where $ast$ is $z=y$ in that space. So your construction seems OK, but there is no need to take first the quotient by $ysim z$ as it will be done by the latter $f(x)sim g(x)$ (remember $f,g$ are pointed maps so they must take the distinguish point to the distinguish point).
answered Jul 19 at 8:26
Pece
7,92211040
add a comment |Â
up vote
1
down vote
For any category $mathcal C$ and any object $c$, a diagram $D: J to cbackslashmathcal C$ in the coslice category induces a diagram $tilde D : tilde J to mathcal C$ where $tilde J$ is the category $J$ with a formal initial object $varnothing$, such that
$$ tilde D(varnothing to j) = D(j) qquad tilde D (k overset f to k') = D(f) qquad forall j, f:kto k'in J$$
(This is just formally saying that if you draw a diagram in $cbackslash mathcal C$, then you can look at the "same" diagram and view it in $mathcal C$.)
Then colimits of $D$ coincide with those canonical maps $cto K$ where $K$ is a colimit of $tilde D$. It is more or less tautological and reduces to the definition of morphism in $cbackslash mathcal C$.
Take now $mathcal C = mathsfTop$ and $c = ast$. It tells you that the pushout of $(Y,y) overset fleftarrow (X,x) overset gto (Z,z)$ exists in pointed topological spaces and is $(Ysqcup_X Z, ast)$ where $ast$ is $z=y$ in that space. So your construction seems OK, but there is no need to take first the quotient by $ysim z$ as it will be done by the latter $f(x)sim g(x)$ (remember $f,g$ are pointed maps so they must take the distinguish point to the distinguish point).
answered Jul 19 at 8:26
Pece
7,92211040
add a comment |Â
up vote
1
down vote
up vote
1
down vote
For any category $mathcal C$ and any object $c$, a diagram $D: J to cbackslashmathcal C$ in the coslice category induces a diagram $tilde D : tilde J to mathcal C$ where $tilde J$ is the category $J$ with a formal initial object $varnothing$, such that
$$ tilde D(varnothing to j) = D(j) qquad tilde D (k overset f to k') = D(f) qquad forall j, f:kto k'in J$$
(This is just formally saying that if you draw a diagram in $cbackslash mathcal C$, then you can look at the "same" diagram and view it in $mathcal C$.)
Then colimits of $D$ coincide with those canonical maps $cto K$ where $K$ is a colimit of $tilde D$. It is more or less tautological and reduces to the definition of morphism in $cbackslash mathcal C$.
Take now $mathcal C = mathsfTop$ and $c = ast$. It tells you that the pushout of $(Y,y) overset fleftarrow (X,x) overset gto (Z,z)$ exists in pointed topological spaces and is $(Ysqcup_X Z, ast)$ where $ast$ is $z=y$ in that space. So your construction seems OK, but there is no need to take first the quotient by $ysim z$ as it will be done by the latter $f(x)sim g(x)$ (remember $f,g$ are pointed maps so they must take the distinguish point to the distinguish point).
answered Jul 19 at 8:26
Pece
7,92211040
For any category $mathcal C$ and any object $c$, a diagram $D: J to cbackslashmathcal C$ in the coslice category induces a diagram $tilde D : tilde J to mathcal C$ where $tilde J$ is the category $J$ with a formal initial object $varnothing$, such that
$$ tilde D(varnothing to j) = D(j) qquad tilde D (k overset f to k') = D(f) qquad forall j, f:kto k'in J$$
(This is just formally saying that if you draw a diagram in $cbackslash mathcal C$, then you can look at the "same" diagram and view it in $mathcal C$.)
Then colimits of $D$ coincide with those canonical maps $cto K$ where $K$ is a colimit of $tilde D$. It is more or less tautological and reduces to the definition of morphism in $cbackslash mathcal C$.
Take now $mathcal C = mathsfTop$ and $c = ast$. It tells you that the pushout of $(Y,y) overset fleftarrow (X,x) overset gto (Z,z)$ exists in pointed topological spaces and is $(Ysqcup_X Z, ast)$ where $ast$ is $z=y$ in that space. So your construction seems OK, but there is no need to take first the quotient by $ysim z$ as it will be done by the latter $f(x)sim g(x)$ (remember $f,g$ are pointed maps so they must take the distinguish point to the distinguish point).
answered Jul 19 at 8:26
Pece
7,92211040
answered Jul 19 at 8:26
Pece
7,92211040
answered Jul 19 at 8:26
Pece
7,92211040
answered Jul 19 at 8:26
Pece
7,92211040
7,92211040
add a comment |Â
add a comment |Â
up vote
0
down vote
Most categories of "all" mathematical objects of a given type have all (small) limits and colimits. Examples are categories of algebraic obects, in which limits are constructed as in sets, or a more general underlying category, and colimits are constructed out of the free algebras and categories of topological objects, as you have here. Unpointed topological spaces have all limits and colimits constructed as in sets, with an appropriately maximal or minimal topology. Pointed topological spaces then inherit all limits and colimits: limits and connected colimits, such as pushouts, are constructed as in spaces, while for non-connected colimits we also have to identify the basepoints, as in the wedge product. This can be seen as a special case of the story about algebraic objects mentioned above: a pointed object is an algebra for the very boring theory that says "there's a chosen element and no operations."
answered Jul 19 at 17:47
Kevin Carlson
29.2k23065
add a comment |Â
up vote
0
down vote
Most categories of "all" mathematical objects of a given type have all (small) limits and colimits. Examples are categories of algebraic obects, in which limits are constructed as in sets, or a more general underlying category, and colimits are constructed out of the free algebras and categories of topological objects, as you have here. Unpointed topological spaces have all limits and colimits constructed as in sets, with an appropriately maximal or minimal topology. Pointed topological spaces then inherit all limits and colimits: limits and connected colimits, such as pushouts, are constructed as in spaces, while for non-connected colimits we also have to identify the basepoints, as in the wedge product. This can be seen as a special case of the story about algebraic objects mentioned above: a pointed object is an algebra for the very boring theory that says "there's a chosen element and no operations."
answered Jul 19 at 17:47
Kevin Carlson
29.2k23065
add a comment |Â
up vote
0
down vote
up vote
0
down vote
Most categories of "all" mathematical objects of a given type have all (small) limits and colimits. Examples are categories of algebraic obects, in which limits are constructed as in sets, or a more general underlying category, and colimits are constructed out of the free algebras and categories of topological objects, as you have here. Unpointed topological spaces have all limits and colimits constructed as in sets, with an appropriately maximal or minimal topology. Pointed topological spaces then inherit all limits and colimits: limits and connected colimits, such as pushouts, are constructed as in spaces, while for non-connected colimits we also have to identify the basepoints, as in the wedge product. This can be seen as a special case of the story about algebraic objects mentioned above: a pointed object is an algebra for the very boring theory that says "there's a chosen element and no operations."
answered Jul 19 at 17:47
Kevin Carlson
29.2k23065
Most categories of "all" mathematical objects of a given type have all (small) limits and colimits. Examples are categories of algebraic obects, in which limits are constructed as in sets, or a more general underlying category, and colimits are constructed out of the free algebras and categories of topological objects, as you have here. Unpointed topological spaces have all limits and colimits constructed as in sets, with an appropriately maximal or minimal topology. Pointed topological spaces then inherit all limits and colimits: limits and connected colimits, such as pushouts, are constructed as in spaces, while for non-connected colimits we also have to identify the basepoints, as in the wedge product. This can be seen as a special case of the story about algebraic objects mentioned above: a pointed object is an algebra for the very boring theory that says "there's a chosen element and no operations."
answered Jul 19 at 17:47
Kevin Carlson
29.2k23065
answered Jul 19 at 17:47
Kevin Carlson
29.2k23065
answered Jul 19 at 17:47
Kevin Carlson
29.2k23065
answered Jul 19 at 17:47
Kevin Carlson
29.2k23065
29.2k23065
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2856365%2fpushout-exists-in-category-of-pointed-topological-spaces%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password