Hi everyone,(adsbygoogle = window.adsbygoogle || []).push({});

I have some problems with the pushout construction for Simplicial Sets

The definition of pushouts is as follows:

Let X, Y, Z simplicial sets and f: Z -> X and g: Z -> Y simplicial morphisms, then the pushout is the quotient of the disjoint union of X and Y with the equivalence relation that for all z \in Z f(z) ~ g(z).

Then, for instance:

Let Z={*}, X=S^3 (the 3-sphere (1 simplex in dimension 0 (*_3) and 1 simplex in dimension 3 (s3))), Y=S^4 (the 4-sphere (1 simplex in dimension 0(*_4) and 1 simplex in dimension 4 (s4))), f(*) =s3 and g(*)=s4,

then, what is the final simplicial set?

it wil have two simplex in dimension 0 (*_3 and *_4) but what's wrong with the other two simplex? and with the face operator?

Thank you in advance

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Pushout of simplicial sets

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - Pushout simplicial sets | Date |
---|---|

Tangent Spaces of Parametrized Sets - McInerney, Defn 3.3.5 | Feb 19, 2016 |

Need some help understanding boundary operator on simplicies | Feb 2, 2015 |

Reference for simplicial homology and cohomology | May 4, 2012 |

Delta vs simplicial complexes | Jun 11, 2011 |

Triangulation of Torus, Algorithms for Calculating Simplicial Homology | Apr 24, 2010 |

**Physics Forums - The Fusion of Science and Community**