Nola's Backyard
Home
Posts
Tags
Scraps
対象@圏論
圏を構成するデータの一つ。
Example
群
有向グラフの頂点
