Algorithmic aspects of branched coverings I/V. Van Kampen's theorem for bisets

摘要

We develop a general theory of bisets: sets with two commuting group actions. They naturally encode topological correspondences.