Haskellを学ぶと、モナドの説明で圏論の話が出てきますよね。 で、圏論の本を読むと、例として集合の話が出てきます。 集合論を理解していないと、集合で例え話をされても意味が分からないですｗ 集合論は、数学の体系の中では基礎に属するの話ですが、地味…