文系エンジニア、束論を学ぶ #2 pythonライブラリ

はじめに

▶️はじめに

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

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

#1

python ライブラリ

圏論と束論を扱う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