Effective Homology of the Pushout of Simplicial Sets
Jónathan Heras · arXiv (Cornell University) · 2014
In this paper, an algorithm building the effective homology version of the pushout of the simplicial morphisms $f:X\rightarrow Y$ and $g:X\rightarrow Z$, where $X,Y$ and $Z$ are simplicial sets with effective homology is presented.