1.5 関手 関手は、未知の圏を既知の圏から観察できるようにしてくれる、圏論の中でも重要な概念の一つである。二つの圏が与えられたとき、これらを関手でつなぐことによって、一方の圏が持つ代数的構造を、他方の圏に持ち込むことが可能になり、他方を観…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。