Computational homology of n-types

摘要

We describe an algorithm for computing the integral homology of a simplicial group and illustrate an implementation on simplicial groups arising as the nerve of a category object in the category of groups.