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 i g h t a r r o w Y

and

g : X i g h t a r r o w Z

, where

X, Y

and

Z

are simplicial sets with effective homology is presented.

This page was built for publication: Effective Homology of the Pushout of Simplicial Sets