Semigroupoid
semicategory, naked category, precategory
圏論の用語
mrsekut.icon
恒等射
のない
小さな圏
のこと
ざっくり言えば、対象、射、合成だけがある圏っぽいなにか
半群
の一般化になっている
Semigroupoid - Wikipedia
調べるとどんどん新しい語彙が出てくる..
Partial algebra
https://en.wikipedia.org/wiki/Partial_algebra
https://ja.wikipedia.org/wiki/部分代数系
のこと?べつもの?
https://github.com/ekmett/semigroupoids
Semigroupoid型クラス