miurrorのアンテナ RSS OPML

すべて | 関数型言語 | 音響プログラミング | WEBニュース | 研究ネタ | ギーク | システム開発

おとなりアンテナ | おすすめページ

  1. 2025/06/14 06:32:07 檜山正幸のキマイラ飼育記含むアンテナおとなりページ

    2025-06-13
    選択的ファイブレーション部分圏
    雑記／備忘
    圏の恒等射だけで部分圏ができます。が、この部分圏はファイブレーションクラスにはなりません。包含的圏（「色々な包含的圏」参照）の包含射達は部分圏を形成しますが、これもファイブレーションクラスにはなりません。圏のファイブレーションクラスの定義…
    選択的ファイブレーション部分圏

  2. 2024/03/28 06:52:29 m-a-o Haskell含むアンテナおとなりページ

    読者になる

  3. 2014/01/05 10:34:19 ホワット・ア・ワンダフル・ワールド (この素晴らしき世界，等価変換な日々) 含むアンテナおとなりページ

    上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。