[logic-ml] infinity-categories