On weak higher dimensional categories (2001)

by C Hermida, M Makkai, J Power
Venue:I Parts 1,2,3, J. Pure and Applied Alg