このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

参照用 記事

2022-02-01から1日間の記事一覧

ギリシャ文字が足りない(2-関手のために)

自然変換や2-射はギリシャ文字小文字で書くのが習慣です。例えば次のように:一部のギリシャ文字は、その用途が習慣的に決まっています。習慣なので破っても問題ありませんが、あえて習慣から外れたことをしたいとは思いません。内容: モノイド圏 α, λ, ρ, …