2024-05-03から1日間の記事一覧
「構造記述のための指標と名前 1/n 基本」で、指標を使って構造を記述する方法の基本を述べたので、実際にその方法を使って構造(代数系)を記述してみます。例題は小さい圏です。小さい圏を指標で記述するので、ターゲット〈標的環境〉は集合圏です。集合圏…
このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama
ご連絡は上記 X アカウントに DM にてお願いします。
「構造記述のための指標と名前 1/n 基本」で、指標を使って構造を記述する方法の基本を述べたので、実際にその方法を使って構造(代数系)を記述してみます。例題は小さい圏です。小さい圏を指標で記述するので、ターゲット〈標的環境〉は集合圏です。集合圏…