sou7's Vault

射

2024年9月16日1 min read

圏の定義における、対象から対象へつなぐ矢印

射の集合として、Homを使う

グラフビュー

バックリンク