Effective Homology of the Pushout of Simplicial Sets

Abstract

In this paper, an algorithm building the effective homology version of the pushout of the simplicial morphisms $f:X\to Y$ and $g:X\to Z$, where $X,Y$ and $Z$ are simplicial sets with effective homology is presented.