  .  (0) If   is a simplicial map, then we can define a carrier map   from   to   by setting   for all  .  (0) If   is a simplicial map, then we can define a carrier map   from   to   by setting   for all  