On the homology of small categories and asynchronous transition systems