move lax colimits to footnote and mention same as pseudo here