带有标签morphism的模型