忘れないように

メモ編にも書くべき事も山盛りあるんだけどなあ、、、 あー手が間に合わない。しかし、記録しないとドンドン忘却するし、、、うーむ。

とりあえず、モノイド圏上に、3項または4項のhomを定義して、それで圏の集まり（indexed family of categories）みたいなものを作った。indexed categoryとしても定式化できるが、3項（または4項）homのほうが分かりやすい感じがする。notion of process とも似た定式化だし。

デカルト分配圏（半環圏）をベースに4項homを作ると、うまいことCatyに応用できそう。もっと計算しないとダメだけど。