YoshikuniJujo on nostr

NIP-07を作ってる途中なのだけどNIP-49が必要だよねということで、Bech32を調べていたら、BCH符号が必要ということで、BCH符号には有限体が出てくるのだけど、群、環、体とあるけど「圏はなんかもっとメタ的だよね」みたいに思って、そういえば「モナドが自己関手の圏におけるモノイド対象である」っていう呪文があったなと思って、何とはなしにジェミニと話してたら理解できた。