前回に続いて、圏の例としてグラフとPre順序を簡単に説明した後、関手の概念を定義する。まずグラフとは、有向グラフのことである。 Definition
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。