[論文レビュー] Internal Symmetry Group in Categorial Topology

Zoran Majkic|arXiv (Cornell University)|Feb 18, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

論文は完全対称カテゴリ（PSC）における内部対称性を定義・分析し、内部のカテゴリ的対称性の階層的枠組み（CoCC, SEC, IMC）を構築し、内部対称性群ICS(N)と矢印範疇および互換性/閉包函子を通じたn次元レベルとの関係を含めて述べる。

ABSTRACT

The interdefinability of the universal concepts of category theory has been introduced by Lawvere. The perfect interdefinability between the objects and arrows of some category, defines the class of Perfectly Symmetric Categories (PSC) where each category can be represented equivalently by its arrows or by its objects only. Such symmetry, differently from the global categorial symmetry ( categorial-symmetry group $CS(\mathbb{Z})$ of all comma-propagation transformations), ia a local internal symmetry inside a given PSC category. Given a PSC category (as a "geometric object") $ extbf{C}$ we can consider its properties (the categorial commutative diagrams) preserved under actions of a particular endofunctor $E$ which transforms any commutative diagram into an invariant "up to isomorphism" diagram. We show that this kind of internal categorial invariance is a phenomena of a local categorial symmetry under an Internal Catergorial Symmetry group $ICS(\mathbb{N})$ of all local enfdofunctorial transformations. Then we establish the relationships between this local internal symmetry and global general symmetry between n-dimensional levels (the comma categories obtained from a PSC category $ extbf{C}$) . We show that if a base category $ extbf{C}$ is a PSC, then all its ne-dimensional levels are PSC as well.

研究の動機と目的

• デュアル性演算子を介して矢を概念化された対象へ写像することで、完全対称カテゴリ（PSC）の概念を導入する。
• 内部対称性を、同型同値まで畳み込み図を保存するエンドファンクターを通じてPSC内の局所現象として定義・研究する。
• PSC ⊇ CoCC ⊇ SEC ⊇ IMC の内部対称性カテゴリの階層を構築し、n次元レベルにおける内部対称性とグローバル対称性を関連づける。
• 変換群（ICS）としての内部対称群を形式化し、それを矢印・射の構造から成るn次元レベルと結びつける。

提案手法

• PSC、双対演算子B_T、およびrepresentability原理の同型性はCにおける正式定義。
• 矢印カテゴリ階層と導来函子（F_st, S_nd, J, blacktriangle）を用いたn次元レベルC_nの構成。
• 対角函子と射影函子を結ぶ自然変換sigmaおよびsigma^{-1}の導入と、それらが対称性関係（式（Eq. 8））に果たす役割。
• CoCCを、対角函子の逆となる降下関数T_eを持つPSCとして定義し、自然同型phi, tau, tau^{-1}（式（Eq. 11–15））を導出。
• SECをCoCCの真部分集合として定義し、T_e^1(f; f) = f を満たすことでレベル間の射と概念化対象の間に強い等価性を確立（式（Eq. 23））。
• IMCを、すべてのn次元レベルが基底カテゴリへ崩壊する極限/付随的随伴として定義（式（Eq. 25–29））。

実験結果

リサーチクエスチョン

• RQ1 Cが双対演算子B_Tを存在させてCをPSCにする条件は何か？
• RQ2 内部対称性を、同型同値まで保存するエンドファンクター変换として形式化できるか？
• RQ3 PSC, CoCC, SEC, IMCの階層関係はどのようで、これらの対称性の下でn次元矢印レベルはどう振る舞うか？
• RQ4 閉包函子T_eが対角函子と自然同値または随伴を与え、implodeされたカテゴリへと導く条件は何か？
• RQ5 SetやRelのような標準的例はCoCCやSEC構造をどのように具体化し、実践的なカテゴリ設定における内部対称性にどんな示唆を与えるか？

主な発見

• PSCカテゴリは矢を概念化された対象へ写す双対演算子B_Tを持ち、同型対応の法則B_T(g◦f)=B_T(g)*B_T(f)を満たす。
• CoCCには、対角函子の逆となる射を基底とする関数T_e:(C↓C) → Cが存在し、矢を対象へ凝集する整合的な閉包を実現する。
• SECはT_e^1(f;f) = fを満たすことを要求し、レベルを超えた矢と概念化対象の間の厳密な等価性を保証する。
• SetカテゴリはCoCCおよびSECの例として機能し、概念化された対象は関数のグラフであり、閉包函子T_e^1は矢を適切に保持する。
• IMCはすべてのn次元レベルが基底カテゴリへ崩壊する極限を表し、非恒等射がすべて同型であることを課し、非常に崩壊した構造を意味する。
• 階層構造 PSC ⊇ CoCC ⊇ SEC ⊇ IMC は内部対称性レベルとそのn次元レベル全体への影響を整理する。