圏論の用語

恒等射のない小さな圏のこと

ざっくり言えば、対象、射、合成だけがある圏っぽいなにか

半群の一般化になっている

調べるとどんどん新しい語彙が出てくる..

Partial algebra

https://ja.wikipedia.org/wiki/部分代数系　のこと？べつもの？