add a colimit introduction form