drive.google.com 今回はZとRを圏とみなしたときの随伴についてまとめてみました。身近なものの間に随伴が現れたので面白いなと感じました。 結果としてはZからRへの包含関手が左右の随伴を持つことがわかりました。順序集合を圏とみなしたものの間の随伴は…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。