このブログの更新は Twitterアカウント @m_hiyama で通知されます。 Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
圏論の基本的な記法に、dom, cod, id があります。f dom(f), f cod(f), A idA、idだけ引数〈argument〉が下付きで入るんですよね。id(A)としなかったのは、id(A)が関数のとき、関数の引数を渡すと id(A)(x) となるからでしょう。丸括弧で囲まれた引数が続く…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。