はじめに

▶️はじめに

計算機科学において、順序集合関連の理論は、データ構造、アルゴリズム、プログラム分析、型システムなど、多くの領域で重要な役割を果たしています。

これらを自分の「🧑‍💻力」に組み入れていきたい。そのために、束論についての勉強をはじめました。
その勉強過程のノートになります。

#1

圏論と束論を扱うpythonのライブラリをまとめます。

ライブラリ名	特徴	インストール方法
sympy.categories	SymPy数学ライブラリの一部。圏論の基本的な概念をサポート。	`pip install sympy`
category-theory	圏論のための独立したライブラリ。より専門的な概念をサポート。	`pip install category-theory`
catpy	圏論の概念と計算をサポートするライブラリ。	`pip install catpy`
discopy	図式計算や量子計算に適用可能な圏論的ツール。	`pip install discopy`

ライブラリ名	特徴
galois	有限体や多項式の計算をサポートし、束の構造も扱える。	`pip install galois`
lattice	抽象代数学における束の概念をサポート。	`pip install lattice`
concepts	形式概念解析(FCA)に基づき、束の操作をサポート。	`pip install concepts`
lattices	数理論理学と抽象代数学における様々な種類の束を扱う。	`pip install lattices`