イコール／等式の話： 集合論、古典述語論理、圏論 - 檜山正幸のキマイラ飼育記 (はてなBlog)

イコール／等式の話： 集合論、古典述語論理、圏論 - 檜山正幸のキマイラ飼育記 (はてなBlog)

$`x = y`$ と書かれていたら、「その意味は明らかだ」と多くの人は思うでしょう。が、イコール／等式の...概要を表示 $`x = y`$ と書かれていたら、「その意味は明らかだ」と多くの人は思うでしょう。が、イコール／等式の意味や用法はそんなに簡単でもないですよ。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\mbf}[1]{\mathbf{#1}} %\newcommand{\mfk}[1]{\mathfrak{#1}} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\In}{ \text{ in } } \newcommand{\On}{ \text{ on } } \newcommand{\id}{\mathrm{id} } %\newcommand{\op}{\mathrm{op} } \newcommand{\Iff}{\Leftrightarrow } \newcommand{\twoto}{