2024-05-03から1日間の記事一覧
「構造記述のための指標と名前 1/n 基本」で、指標を使って構造を記述する方法の基本を述べたので、実際にその方法を使って構造(代数系)を記述してみます。例題は小さい圏です。小さい圏を指標で記述するので、ターゲット〈標的環境〉は集合圏です。集合圏…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
「構造記述のための指標と名前 1/n 基本」で、指標を使って構造を記述する方法の基本を述べたので、実際にその方法を使って構造(代数系)を記述してみます。例題は小さい圏です。小さい圏を指標で記述するので、ターゲット〈標的環境〉は集合圏です。集合圏…