total reificationvisibility_off

圏論 型つきラムダ計算 連言含意論理 圏 C がデカルト閉であるとは、以下の三条件 C は終対象を持つ。 C の任意の二対象 X , Y に対し、C はそれらの直積 X × Y を対象に持つ。 C の任意の二対象 Y , Z に対し、C はそれらの冪対象 Z Y を対象に持つ。 が全て満たされるこ