sou7's Vault

Home

❯

数学

❯

圏論

❯

射はドメインとコドメインで決まるわけではない

射はドメインとコドメインで決まるわけではない

2024年7月16日1 min read

  • 可換図式に意識を持っていかれそうになるけれど、f,g:A→Bがあったときにf=gとは限らないことに注意!
  • 同じ勘違いをしてる人見つけた 射はドメインとコドメインで決まるわけではない - 結城浩の圏論勉強プロジェクト
    • 結城浩さんの記事
  • 同じシリーズの間違いに一般的な射の話をしているのに写像で考えてしまいがちもある
  • 少し違う場所に充満関手は、対象について本質的に全射と考えてしまいがちもあった

最近の記事

  • HermesからPI Agentへの乗り換え

    2026年10月16日

    • loopguard

      2026年7月24日

      • HermesとObsidianの連携ツールを作った

        2026年7月10日

        • Nested Orchestration

          2026年6月12日

          • LLMエージェントのサブエージェント機能の活用

            2026年6月12日

            グラフビュー

            バックリンク

            • 可換図式

            作成 Quartz v4.5.1 © 2026

            • About sou7
            • 解析のためGoatCounterを使用しています
            • 注意事項