学びながら、更新していきます。
自分が理解できる言葉で記述していくので、数学に精通していない方でも理解可能な圏論の入門記事となると思われます。
圏categoryの定義
：対象objectと射arrowからなるシステム
※対象と射は圏の公理を満たす限りなんでもよい。
・どんな射に対しても域domainと余域codomainとよばれる対象が存在する
図式diagramの定義
：対象と射の関係を図示したもの
・図式内の”域と余域とがそれぞれ等しい射”が互いに等しいとき、その図式は可換であるという。
※圏の中心概念は対象よりも射。対象とは恒等射であり、射の特殊な状態。
