検索内容:
商構造を定義する際、同値類を作る前に同値関係を備えた集合から始めると便利だ。
型理論では、ネイティブな商型が利用できない場合に、同値関係を持つ集合が商を表現するためによく用いられます。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★