集合上に部分的な二項演算「;」を持つ系を考える。圏だと思う必要はないし、圏だと思いたければそれもよし。プレ順序≦もあるとする。a≦b かつ b≦a のとき、a〜b と書く。〜は同値関係。演算;が結合的であるとき、厳密プレ半群、〜の意味で結合的であるとき疑…

なんか、わかったかも - 檜山正幸のキマイラ飼育記 メモ編 壁の圏の構造 - 檜山正幸のキマイラ飼育記 メモ編 半加群の二重圏 - 檜山正幸のキマイラ飼育記 メモ編 年末年始で考えたこと：記号回路とか両側半加群とか - 檜山正幸のキマイラ飼育記 メモ編