Categorical models of N-types for pro-crossed complexes and ℑn-prospaces | Publicación