5. 概念モデリングに関する圏論的考察 ‐ 議論のとっかかりとして
はじめに今回は、このマガジンの前の記事や、xtUML 研究会や、ALGAN のイベントで、ちょろっとずつ言及している、概念モデリングへの圏論の適用に関する、途中報告的な記事です。
※ ”圏論(Category Theory)とは”のセクションは、半端な理解の上での中途半端な記述なので、読み飛ばし、最後まで読んでから、戻るという読み方がいいかもしれません。
出発点圏論(英語では Category Theory)というのは、数学の一分野です。それも相当なレベルの基礎数学の分野。