おとなりアンテナ | おすすめページ
2024-04-22構文付き変換手インスティチューション 1/n雑記／備忘随伴系、モナド、モナドのアイレンベルク／ムーア代数、自己関手のランベック代数、ベックの分配法則などを扱っていると、こういうモノ達を系統的に組織化したい、という気持ちになります。代数的構造の組織化のためには、ゴグエン／バーストル〈Joseph Gogu…構文付き変換手インスティチューション 1/n
