大きかも知れない圏の2-圏 順序集合の圏 余完備な余デカルト圏 順序完備なミート半束 余連続な自己関手 連続な自己関数 自然変換 関数順序 自己関手のランベック代数 自己単調関数の劣不動点 モナド 閉包作用素 モナドのアイレンベルク／ムーア代数 閉包作用…