In category theory, nullary sums correspond to initial objects and represent the coproduct of the empty family.
圏論では、引数のない和は始対象に対応し、空族の余積を表します。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
