(という概念が必要かもしれない) 動機 Naturality は functorがないと定義されないが、functoriality とは直交した概念である(と思う)。 Composition compatibility Enriched functoriality とは composition compatibility identity(unit) compatibility の…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。