log-linkやΘ-linkはmorphismやfunctorに当てはめ難いから
IU幾何を圏論の枠組みにいれるなら高次元圏とかの前に
まずmorphismの定義とかを少し変えた方がいいと思う