EveMissLab Ontology Core Series — Paper 07
一元—三元統一與母框架:從前形式湧動、型別化三元到閉合—收連治理的分層整合
Unary–Triadic Integration and the Unified Mother Framework: From Pre-Formal Surging to Typed Triadic Dynamics and Closure–Relinking Governance
- 文件編號:EML-ONTO-CORE-07
- 版本:v0.1
- 日期:2026-08-15
- 作者:Neo.K × AI 協作
- 機構:EveMissLab/一言諾科技有限公司
- 系列:Ontology Core Series
- 上游正典:
EveMissLab Ontology Canon v0.1Ontology Genealogy & Symbol Migration Map v0.1EML-ONTO-CORE-01:潛能、載域與顯現EML-ONTO-CORE-02:型別化三元算子族EML-ONTO-CORE-03:共享狀態域耦合(SSDC)EML-ONTO-CORE-04:型別化信息完整、失真與還原(TICDR)EML-ONTO-CORE-05:同一、非同一、邊界與主客邊(TIBRF)EML-ONTO-CORE-06:Closure、CRL 與 Closure–Relinking Extension(CRE)
- 性質:元本體論/分層形式框架/理論正典整合/研究 Runtime 母架構
- 證據狀態:系列封頂整合框架;不宣稱為已證明的宇宙終極本體論或物理萬有理論
摘要
EveMissLab 的本體論研究曾先後形成三元統一本體論、三元湧動論、Dynamic Circle Ontology、Closure Theory、湧動一元、本體論版本呼吸、Convergent Re-linking,以及近期的 SSDC、TICDR、TIBRF 與 CRE。這些理論表面上分別使用「一元」「三元」「閉合」「圓」「收連」「共享狀態域」等不同中心語言,容易被誤讀為互相競爭的本體論候選。然而,Ontology Core Series 01–06 的重新整理顯示,許多衝突其實來自層級錯置與型別混淆:前形式源點、正式狀態、變換方向、關係域、信息保存、身份判定與 closure governance 並非同型概念,不應被要求互相取代。
本文完成 Core Series 第一輪封頂,提出 Unified Mother Framework(UMF)。UMF 不把所有前述理論壓成一個「終極公式」,而建立一個垂直狀態脊柱與四個橫切結構。
垂直狀態脊柱為:
三元算子族:
可以在不同層上作用,但其跨層同一必須另有 preservation / commutation evidence。
四個主要橫切結構為:
其中:
- SSDC 描述存在間共享狀態域、transport 與 active coupling;
- TICDR 描述 transformation 保留哪些 typed information,以及失真與還原;
- TIBRF 描述 exact typed equivalence、approximate tolerance、boundary 與 subject/object relational roles;
- CRE 描述 typed Closure、CRL、selection、certificate、commit 與 reopen。
本文對「一元—三元統一」做出一個關鍵形式修正。歷史上曾以:
描述「一元展開為三元操作,再收斂回一元」。現行正典不再把最後的「1」直接等同於最初的前形式一元。本文區分:
——前形式湧動/一元指稱,以及:
——經過正式化、運算、壓縮與 closure 後得到的 formal kernel。
因此更精確的結構是:
其中:
一般情況下。
更重要的是,既然:
被定義為 formal object theory 之前的 pre-formal placeholder,則:
在目前正典中不是「尚未證明的等式」而已,而首先是一個 ill-typed formal statement:左側尚未被賦予和 同一 object language 中的 domain/type。只有先選擇 formalization context:
並建立一個 formal surrogate:
其中 明確標記為 meta-level formalization operation,才能在 object theory 內研究:
是否成立。
因此舊候選:
被重新寫成 Formalization–Closure Hypothesis,而非未分型等號。
本文將最終母框架寫成:
其中:
是 formal state spine。
分號表示不同型別層,而非同階 primitive。
本文最後證明一個框架級 Non-Collapse Principle:在現有定義下,SSDC、TICDR、TIBRF、CRE 不可全部約化成三元算子中的單一元素;三元算子也不能取代 state spine 或 information/identity contracts。UMF 的統一方式不是:
而是:
這使「三元即一元」得到新的保守解讀:它不再表示三個 operation 與一個 primitive 的裸數值等同,而表示一個 formalized system 可以由高度壓縮的 seed/kernel 經展開—連接—收斂產生多層結構,再在 closure / compression 下形成新的 formal kernel,並持續進入下一輪版本呼吸。
因此 UMF 不是最終停止的理論,而是第一個可被版本化、重開、重播、檢查 typed boundary 的母框架。
關鍵詞: Unified Mother Framework、一元本體論、三元本體論、Closure、SSDC、TICDR、TIBRF、CRE、formalization、layered systems、fibrations、ontology integration、theory breathing
1. 問題:一元、三元、Closure 到底誰才是「最底層」?
歷史理論中曾出現:
以及:
又出現:
如果把它們全部放在同一層,
必然出現競爭:
到底是一元、三元,還是 Closure 才是真正 primitive?
Core Series 的答案是:
2. 三種「一」不是同一個一
至少區分:
U1 — Pre-Formal Unary
表示形式化之前的 unary source / generative placeholder。
U2 — Formal Kernel
表示一個正式系統在指定:
- query family;
- invariants;
- closure regime;
下被壓縮後的 formal core。
U3 — Unique Token
某 formal model 中只有一個 designated object:
這只是 cardinal / token uniqueness。
三者不能自動互換。
3. Pre-Formal 的形式限制
如果:
真正被宣告為「前形式」,
那麼它就不能同時被默認成:
- set;
- topological space;
- category object;
- operator;
- state;
- scalar。
因此:
不是 UMF object theory 裡的一個普通 typed state。
4. Ill-Typed Equality Principle
因此:
在沒有額外 formalization interface 前,
不是 false theorem,
也不是 true theorem,
而是:
因為:
尚未在 object theory 中建立。
5. Meta-Level Formalization
令:
表示 formalization context,包括:
- language;
- logic;
- observer;
- scale;
- representation;
- admissible primitives;
- evidence standard。
定義 meta-level:
方括號用來提醒:
不是當前 object theory 裡的一個普通 function。
它是:
6. Formal Surrogate
則是正式對象,
可以是:
- seed state;
- generator;
- constraint schema;
- closure object;
- initial theory object;
- operator family source。
不同:
可以得到:
所以:
7. Formalization Non-Uniqueness
若:
與:
則:
可能:
- isomorphic;
- approximately equivalent;
- mutually translatable;
- incompatible;
- incomparable。
必須另證。
8. Formalization–Closure Hypothesis
舊式:
現在改寫為:
Hypothesis FCH
存在某些 formalization contexts:
與 formal surrogate:
以及 typed map:
使:
此時才可說:
Closure 是該 formalization 下對 pre-formal source 的一種 formal realization / projection。
9. FCH 不等於 Identity
即使 FCH 成立:
也不能推出:
因為:
- formalization context 已介入;
- representation 已介入;
- projection 已介入;
- information loss / quotient 可能存在。
10. 三元的現行地位
Paper 02 已建立:
是 typed operator families,
而非三個固定函數。
因此三元的現行地位是:
不是:
11. Triadic Adequacy
定義 11.1
對 formal system:
與 operator set:
若每個 relevant operation:
都可在指定 typed axes 下由:
的標記/組合充分描述,
則稱:
12. Triadic Adequacy 不等於 Triadic Minimality
即使:
也不表示:
- 三元是唯一 basis;
- 三元是最小 basis;
- 不存在等價二元/四元表示;
- 所有自然過程都 。
所以:
13. 歷史「三元即一元」的第一層重寫
早期:
最保守的現行解讀是:
三元 operation families 可以共同作用於一個 formal system,並在指定 convergence / closure / information contract 下形成一個新的 compressed formal kernel。
即:
14. Formal Kernel
定義 14.1
令:
為 formalized system state。
對:
定義 formal kernel:
表示:
在當前 identity / information / closure regime 下,仍足以重建 relevant structure 的壓縮核心。
這是一個 formal object。
15. Kernel 不等於 Pre-Formal Unary
即使:
極度壓縮,
仍然:
作一般 rule。
因為 :
- 已使用語言;
- 已使用 representation;
- 已使用 identity criterion;
- 已使用 closure;
- 已留下 provenance。
16. 的正典修正
因此歷史式:
改為:
更具體:
17. 這不是閉環回到原點
沒有 theorem:
因此不是:
而是:
18. Seeded Recurrence
formal kernel 可以成為下一輪正式研究的 seed:
因此版本循環:
這是 formal breathing cycle。
19. Theory Breathing 的正典位置
歷史 Theory Breathing:
現在解讀成:
其中:
不是第四本體 primitive。
20. Rest、Commit、Closure 的分離
Paper 06 已建立:
Rest 是暫時穩定化。
Commit 是 governance action。
Global Closure 是 certificate-relative status。
21. Unified Mother Framework:不是 pipeline
若把 01–06 直接寫成:
容易誤以為 runtime 每次都必須線性執行。
實際上:
- Paper 01 是 state spine;
- Paper 02 是 dynamics;
- Paper 03 是 relation;
- Paper 04 是 information audit;
- Paper 05 是 identity/boundary regime;
- Paper 06 是 globality / branch governance。
因此 UMF 是:
22. Vertical State Spine
定義:
其主要表示鏈:
23. Dynamic Cross-Cut
它們可以作用於:
- latent layer;
- active layer;
- manifest layer;
- graph layer;
- theory/version layer。
24. Relational Cross-Cut
描述:
- shared-state domain;
- transport;
- active coupling;
- directional profile。
SSDC 是:
的一個強 relational subtype,
但:
25. Information Cross-Cut
不是另一個 state layer。
它可以審計任意 transformation:
核心:
26. Identity–Boundary Cross-Cut
對任意 pair / system 定義:
- exact typed equivalence;
- approximate tolerance;
- boundary;
- subject/object role;
- relational inclusion。
它也不是一個普通 operator family。
27. Closure–Governance Cross-Cut
在 branch/globality level 處理:
- typed closure;
- CRL;
- selection;
- certificates;
- commit;
- reopen。
28. Mother Framework Object
因此:
定義 28.1 — UMF
分號:
表示 typed strata / modules,
不是逗號式同階 primitive list。
29. UMF Architecture
META / PREFORMAL
Phi_pre
|
| Form_chi[·] (meta-level, not ordinary object morphism)
v
FORMAL INSTANCE
varphi_chi
|
v
===========================================================
VERTICAL STATE SPINE
Omega_car
|
v
X_lat --Act--> X_act --Pi_q--> M_q --Gamma_q--> G_q
===========================================================
DYNAMIC CROSS-CUT
E-family / L-family / C-family
===========================================================
RELATIONAL CROSS-CUT
SSDC
===========================================================
INFORMATION AUDIT CROSS-CUT
TICDR
===========================================================
IDENTITY / BOUNDARY / ROLE CROSS-CUT
TIBRF
===========================================================
CLOSURE / BRANCH / GOVERNANCE CROSS-CUT
CRE
===========================================================
FORMAL KERNEL
kappa_form
|
v
Recontextualize / next version
30. UMF 不是「萬物都是一種 object」
UMF 的統一不是:
這些類型必須分離。
31. Non-Collapse Principle
定理式原則 31.1
在 Core Series v0.1 的 definitions 下:
不是一般 state;
不是一般 relation;
不是一般 convergence operator;
不是單一 Closure operator。
因此不能在無額外 encoding theorem 下全部 collapse 成:
的單一 primitive。
32. Triadic Meta-Classification 仍可能存在
Non-Collapse 不表示三元不能分析它們。
例如:
- SSDC expansion;
- TICDR convergence of distortion;
- TIBRF boundary expansion;
- CRE branch relinking;
都可具有:
direction signatures。
所以:
33. Closure 也不是所有模組的母型別
可以研究:
對 SSDC / TICDR / TIBRF 操作是否 closed。
但:
等寫法仍然不合法。
Closure 是 closure regime,
不是所有 module 的 object identity。
34. UMF Composition Rule 1 — Typed Domain/Codomain
任何 composite:
都要求:
與:
相容,
或具有合法 adapter。
35. UMF Composition Rule 2 — Information Contract
若 composite 宣稱:
relevant information preserved,
必須附:
36. UMF Composition Rule 3 — Identity Regime
若 composite:
- merge;
- quotient;
- compare;
- restore;
必須聲明:
或:
37. UMF Composition Rule 4 — Boundary Regime
任何 global / closure / subject-object claim:
必須聲明:
38. UMF Composition Rule 5 — Relation Strength
若宣稱:
兩存在真正共享狀態/互相耦合,
不能只提供 graph edge。
至少應建立:
39. UMF Composition Rule 6 — Closure Certificate
若宣稱:
需要 Paper 06 的:
40. UMF Composition Rule 7 — Reopenability
所有 closure / canon:
這避免 UMF 自己成為不可修正 dogma。
41. Cross-Layer Translation
外部 layered-system 理論提醒:
多層描述真正困難的地方不是「有很多層」,而是如何定義層與層之間的 translation。
UMF 因此要求:
或其他 typed translation 必須顯式。
42. Translation 不等於 Identity
若:
為 translation,
不能只因:
就說:
這與整套 Core Series 的核心一致。
43. Cross-Layer Commutation
若聲稱 operation:
與:
是同一動力的跨層實現,
最低可要求:
或報告 defect。
44. Formalization Fidelity
meta-level formalization:
本身也可能有失真。
但因 source 是 pre-formal,
無法直接用普通 TICDR:
除非 query language 已被先形式化。
因此:
45. Formalization Trace
為避免「前形式」成為任意神秘來源,
每次:
至少保存:
formalization_trace:
source_statement_or_intuition:
language:
definitions_introduced:
distinctions_added:
distinctions_discarded:
observer_context:
assumptions:
examples:
counterexamples:
unresolved_ambiguities:
resulting_formal_surrogate:
46. Pre-Formal 不等於不可審計
雖然:
不在 object theory,
但 formalization act 仍可被審計:
- 使用者原始敘述;
- 轉譯痕跡;
- 新增假設;
- 符號化決策;
- 被捨棄歧義。
因此:
47. Formal Kernel 的 Information Contract
不能只說:
這是理論精華。
必須聲明:
以及:
因此 kernel 是 TICDR-certified compression。
48. Kernel 的 Closure Contract
kernel 也應聲明:
對哪個 scope 成立。
否則:
理論已收斂成一句話
不等於:
理論所有重要差異已經合法閉合。
49. Kernel 的 Provenance
必須保留:
- source lineage;
- claim IDs;
- open relations;
- superseded branches;
- boundary conditions。
因此 formal kernel 不是無歷史的 semantic atom。
50. Historical Unary–Triadic–Closure Map
目前正典:
| Historical concept | Current type | Current status |
|---|---|---|
| 三元統一本體論 | operator-family lineage | retained/refined |
| 三元湧動論 | processual interpretation | retained |
| DCO / Cl | closure lineage | retained as typed closure family |
| Circle primitive | geometric realization | demoted from unique primitive |
| 湧動一元 | pre-formal meta-layer | retained as |
| Theory Breathing | version dynamics | retained |
| legacy | SSDC sync subtype | migrated |
| CRL / 收連 | higher-order branch reorganization | retained |
| SSDC | relational cross-cut | current core |
| TICDR | information audit cross-cut | current core |
| TIBRF | identity/boundary cross-cut | current core |
| CRE | closure/governance cross-cut | current core |
51. Open Relation 1 — and Closure
目前:
ill-typed。
可研究的問題是:
52. Open Relation 2 — Triadic Minimality
尚未證明:
是所有 relevant systems 唯一最小完備 basis。
53. Open Relation 3 — CRL Endogeneity
尚未證明:
可由 bare Closure axioms 推出。
所以 CRE 保持 extension status。
54. Open Relation 4 — SSDC Universality
尚未證明所有 strong Connection:
都能以 SSDC 完整表示。
55. Open Relation 5 — Universal Query Family
不存在已證:
可以在所有 ontology domains 上完整分離所有 relevant identity distinctions。
56. Open Relation 6 — Ultimate Carrier
Paper 01 的:
是 typed carrier。
本文不宣稱存在唯一:
57. Open Relation 7 — Formalization Completeness
不能保證:
完整捕捉:
因為「完整捕捉前形式源點」本身需要一個已形式化 query family 才能判定。
58. External Comparison — Layered Monoidal Theories
2026 年 Layered Monoidal Theories 明確研究:
同一 scientific system 在多個 abstraction levels 上的形式描述,以及層間 translation。
這與 UMF 非常接近的方法論問題是:
而不是把所有 levels 宣稱為同一 object。
59. External Comparison — Fibrational Semantics
Layered Monoidal Theories II 進一步以:
- fibrations;
- opfibrations;
- displayed categories;
建立 layered theory semantics。
本文不宣稱 UMF 就是某個 fibration,
但吸收:
60. External Comparison — Displayed Categories
Displayed categories 提供:
在既有 base category 上逐層加入額外 data / properties,而不需要把所有 multi-component structures 壓成一個平面 object set。
這與 UMF:
的 modular design 有直接方法論相容性。
61. External Comparison — Categorical Semantic Abstraction
functorial abstract interpretation 研究強調:
不同 semantics / abstraction 之間的關係應以結構保存的 transformation 明確表達。
這對 UMF 的核心限制是:
62. External Comparison — Institutional Ontology Integration
institutional approaches to ontology integration 強調:
- local logics;
- theory morphisms;
- semantic integration;
- heterogeneous ontologies。
本文吸收的不是其完整 formalism,
而是:
這與 CRL 的 difference-preserving principle 相容。
63. UMF 的四種「統一」
本文明確區分:
I. Symbolic Unification
統一符號與 namespace。
II. Structural Unification
建立共享 architecture / interface。
III. Translational Unification
建立 layer-to-layer maps。
IV. Identity Unification
宣稱兩個理論/對象其實是同一個。
前 3 種可以成立,
第 4 種需要最強證明。
64. Unified 不等於 Identical
因此:
UMF 是:
而不是:
65. No-Go 1 — without Formalization
禁止未先建立 surrogate/type 就寫:
66. No-Go 2 — Formal Kernel = Pre-Formal Source
禁止:
作無證據默認。
67. No-Go 3 — Three Families Explain Everything Therefore They Are Everything
即使三元可以 classify 某模組 dynamics,
不能推出:
68. No-Go 4 — Closure = Convergence
已由 Paper 06 排除。
69. No-Go 5 — SSDC = Connection
SSDC 是 strong subtype,
不是全部:
70. No-Go 6 — Information = Ontology
TICDR 描述 preservation/distortion,
不因此成為所有 existence 的唯一 substance。
71. No-Go 7 — Identity = Representation Equality
Paper 05 已排除。
72. No-Go 8 — Mother Framework = Universal Physics
UMF 沒有推出:
- Einstein equations;
- quantum field theory;
- Standard Model;
- thermodynamic laws。
所以:
它是 meta-ontology / integration framework。
73. No-Go 9 — Formalization Removes Ambiguity Once and for All
formalization context:
本身可以被修正。
因此 formalization 不是 absolute final translation。
74. No-Go 10 — Unified Framework Cannot Reopen
UMF 必須服從:
否則它違反自己建立的 CRE / Theory Breathing principles。
75. UMF Well-Typedness Conditions
一個 UMF instance:
至少應滿足:
- state domains 明確;
- operator signatures 明確;
- cross-layer translations 明確;
- SSDC claims 有 shared-state typing;
- TICDR claims 有 query family;
- TIBRF identity 有 exact / approximate relation type;
- boundaries typed;
- CRE closure scope 明確;
- merge 有 certificate;
- version / provenance 可重播。
76. UMF Consistency 不等於 Truth
即使:
well-typed 且 self-consistent,
仍不表示其 empirical claims 都正確。
所以:
77. UMF Validity Ladder
可分:
不把任一層自動提升到下一層。
78. Mother Framework Runtime
對 formal seed:
一輪可以表示:
這只是 runtime pattern,
不是 UMF 唯一 execution order。
79. Parallel Runtime
更一般地,
可以平行作用,
最後 CRE 建立可 commit / reopen 的 version state。
80. Theory Breathing 2.0 Interpretation
因此:
可重新寫成:
展開不是亂增文本。
連接不是亂引用。
收斂不是強制共識。
Rest 不是永久封印。
81. 「萬有理論」的新保守定義
若未來仍使用:
本文建議不要定義成:
包含所有真理的最後一本書。
而定義成:
82. 這仍然不是 Absolute Truth
即使 UMF 可以持續吸收新 domain,
也只表示:
不表示:
83. 十六條核心命題
Core-1 — Pre-Formal Typing Boundary
不直接作 object-theory ordinary object。
Core-2 — Ill-Typed Equality Principle
在未 formalize 前不構成合法 object-level theorem。
Core-3 — Formalization Context Principle
依 context 產生 formal surrogate。
Core-4 — Formalization Non-Uniqueness
不同 可產生不同 formalizations。
Core-5 — Unary–Triadic Correction
優先於 exact:
Core-6 — Kernel/Source Separation
一般成立。
Core-7 — Triadic Direction Principle
是 typed transformation families。
Core-8 — Triadic Adequacy/Minimality Separation
可描述不等於已證唯一最小 basis。
Core-9 — Vertical/Cross-Cut Architecture
UMF 不是單一 linear pipeline。
Core-10 — Non-Collapse Principle
不同 module types 不因統一而被宣稱同一。
Core-11 — Translation Before Identity
跨層/跨理論先建立 maps,再談等價。
Core-12 — Information Contract Principle
任何 preservation claim 需要 TICDR query family。
Core-13 — Identity/Boundary Principle
任何 merge/globality claim 需要 TIBRF regime。
Core-14 — Closure/Commit Separation
UMF 保留 CRE 的 closure / commit / reopen distinction。
Core-15 — Unified/Identical Separation
Core-16 — Reopenable Mother Framework
UMF 自身必須允許版本重開與再正典化。
84. Canonical UMF Object
本文最終正式採用:
其中:
85. Extended Meta-Envelope
把前形式層放回來:
這是 meta-envelope,
而不是 object theory 的單一 tuple。
86. 第一輪 Core Series 的真正結論
七篇不是七套相互競爭的理論。
而是:
87. Core Series Dependency DAG
Phi_pre
|
Form_chi[·]
|
v
+-----------+
| Paper 01 |
| State |
+-----------+
|
+-----------+-----------+
| |
v v
+----------+ +----------+
| Paper 02 | | Paper 03 |
| E/L/C |<---------->| SSDC |
+----------+ +----------+
| |
+-----------+-----------+
|
v
+----------+
| Paper 04 |
| TICDR |
+----------+
|
v
+----------+
| Paper 05 |
| TIBRF |
+----------+
|
v
+----------+
| Paper 06 |
| CRE |
+----------+
|
v
+----------+
| Paper 07 |
| UMF |
+----------+
這是 dependency DAG,
不是唯一 runtime execution order。
88. 後續正式工作
Core Series 01–07 完成後,
下一份不應再新增 Paper 08。
下一階段應是:
其任務是:
- 摘取七篇 definitions / theorems / no-go;
- 合併 symbol registry;
- 合併 claim registry;
- 建立 dependency DAG;
- 建立 executable schemas;
- 標記所有 OPEN relations;
- 建立 v0.1 → v1.0 migration;
- 做一次全系列 consistency audit。
89. Synthesis 不應重寫歷史
Synthesis v1.0 應:
而不是:
90. 系列封頂聲明
Ontology Core Series 第一輪在 Paper 07 後停止增加 foundation papers。
後續新研究:
- physics realization;
- AI-agent realization;
- identity application;
- proof runtime;
- symbol theory;
- game/world modeling;
應作:
若地基本身發現缺陷,
則:
而不是偷偷新增無限基礎篇。
結論
這一輪整合最重要的結果,不是得到一個「更大的終極本體論」。
而是得到一個更嚴格的限制:
因此:
不再與:
直接寫等號。
三元:
不再假裝是三個原子功能。
SSDC 不再只是舊 。
信息完整不再是一個未分型百分比。
身份不再是一個裸:
Closure 不再等於 fixed point。
CRL 不再等於 forced consensus。
Commit 不再等於 proof。
而「統一」也不再等於「全部壓成一個東西」。
本文的 Unified Mother Framework 因此採取另一種統一:
這使歷史上的:
獲得一個新的正式位置。
它們不是要求世界永遠照一條固定 ELC 管線運行,
而是:
因此一元—三元的現行正典不是:
而是:
一元保留壓縮與源點直覺。
三元保留操作與變換方向。
Closure 保留合法閉合條件。
SSDC 保留存在間真正共享的狀態域。
TICDR 保留轉換中的信息差異。
TIBRF 保留同一與非同一的判定條件。
CRE 保留分支不被錯誤消滅、又能持續前進的治理機制。
而 UMF 所做的,只是讓它們終於待在各自正確的位置。
參考文獻
- Lobski, L., & Zanasi, F. Layered Monoidal Theories I: Diagrammatic Algebra and Applications. arXiv:2602.19776, 2026.
- Lobski, L., & Zanasi, F. Layered Monoidal Theories II: Fibrational Semantics. arXiv:2602.22373, 2026.
- Lobski, L. Layered Monoidal Theories. arXiv:2512.12139, 2025.
- Ahrens, B., & Lumsdaine, P. LeF. Displayed Categories. arXiv:1705.04296, 2017.
- Katsumata, S., Rival, X., & Dubut, J. A Categorical Framework for Program Semantics and Semantic Abstraction. arXiv:2309.08822, 2023.
- Kent, R. E. The Institutional Approach. arXiv:1810.08074, 2018.
- Fong, B. Decorated Cospans. arXiv:1502.00872, 2015.
- Schultz, P., Spivak, D. I., & Vasilakopoulou, C. Dynamical Systems and Sheaves. arXiv:1609.08086, 2016.
版本註記
v0.1
首次完成 Ontology Core Series 第一輪封頂,建立:
- pre-formal unary typing boundary;
- ill-typed correction;
- meta-level formalization context;
- formal surrogate;
- Formalization–Closure Hypothesis;
- formal kernel ;
- unary–triadic correction;
- vertical state spine;
- triadic dynamic cross-cut;
- SSDC relational cross-cut;
- TICDR information audit cross-cut;
- TIBRF identity/boundary cross-cut;
- CRE closure/governance cross-cut;
- Unified Mother Framework(UMF);
- extended meta-envelope;
- Non-Collapse Principle;
- UMF composition rules;
- formalization trace;
- kernel information / closure / provenance contracts;
- seven core OPEN relations;
- validity ladder;
- seven-paper dependency DAG;
- Core Series foundation-track closure;
- Unified Ontology Synthesis v1.0 handoff。