Homotopy colimit

GPTKB entity