(と一般に呼ぶのかは分からない) Monoidal category について という要件は不要という命題。 補題 証明 Proving lemmas on monoidal categories in Todd Trimble を参照。 命題 証明 の naturality より は iso ゆえ triangle equality とより 補題とより は…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。