方程式論
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/21 15:29 UTC 版)
任意のデカルト閉圏において（冪記法を用いて）、(XY)Z と (XZ)Y は任意の対象 X, Y, Z に対して同型である。これを等式の形で (xy)z = (xz)y. と書き表す。任意のデカルト閉圏において、ほかに有効な等式にはどんなものがあるだろうか。これについては、以下の公理に従って論理的にすべての有効な等式を計算することができる。 x ×(y × z) = (x × y)× z x × y = y × x x × 1 = x （1 は C の終対象） 1x = 1 x1 = x (x×y)z = xz × yz (xy)z = x(y × z)
※この「方程式論」の解説は、「デカルト閉圏」の解説の一部です。
「方程式論」を含む「デカルト閉圏」の記事については、「デカルト閉圏」の概要を参照ください。
ウィキペディア小見出し辞書の「方程式論」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 方程式論のページへのリンク
