If a functor is covariant, it maps the composition of morphisms to the composition of their images.
関手が合成を保つ場合、それは射の合成を像の合成に写す。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
