Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint
Data sources: ZENODO
addClaim

D-04. Category-Theory 范畴论

Authors: Zhan, Dedong;

D-04. Category-Theory 范畴论

Abstract

This paper advances a source-level reclassification of category theory under the Ω / CΩ framework. Its central theorem is that divergent morphisms do not multiply source. Category theory can generate many objects, arrows, functors, diagrams, equivalences, adjunctions, limits, colimits, and higher categorical constructions, yet this formal proliferation does not authorize multiple ontic sources. Morphisms may diverge as readable structures in CΩ, while their admissibility remains settled on one Ω adjudication surface under oneness. The paper begins from the question: why do divergent morphisms converge structurally? In the backward-mirror reading, morphism divergence is often treated as evidence of deeper structural plurality: different arrows, different categories, different diagrams, and different functorial paths appear to generate independent mathematical worlds. This reading confuses categorical distinguishability with source-level separation. The file cuts this conversion directly. Morphism-difference is readout-difference; category-difference is organizational difference; diagrammatic complexity is compositional complexity. None of these produces ontic source multiplication. The core definition introduced by the file is structural convergence of morphisms: divergent morphisms converge structurally when their admissibility is settled on the same Ω adjudication surface, with no requirement that their domains, codomains, diagrams, syntactic descriptions, or functorial environments become identical. Convergence adjudicates the same admissibility class, not the same categorical shape. This distinction prevents a common misreading: the claim does not collapse all morphisms into one arrow, one category, one functor, or one universal diagram. It states that categorical divergence remains CΩ-readable difference, while source-level standing is adjudicated through Ω. The formal anchor separates standard categorical readability from source adjudication. A morphism f:A\to B, a compositional chain g\circ f, or a functorial mapping F:\mathcal{C}\to\mathcal{D} can all mark local structural organization in CΩ. These forms demonstrate compositional admissibility within a given categorical environment. They do not generate independent source closure. The file’s theorem can be compressed as follows: admitted morphism-positions do not multiply source. Divergent morphisms can differ as CΩ readout-positions, while sharing the same Ω adjudication surface as structures whose standing is settled under oneness. The paper further identifies three false conversions: morphism divergence does not imply source divergence; category proliferation does not imply ontic multiplicity; functorial equivalence does not supply source-level closure. These false conversions explain why category theory can become misleading when its organizational power is elevated into an ontic claim. Category theory is powerful because it tracks relations, transformations, invariants, and compositional structures across domains. Its strength also exposes its limit: it handles readable structural organization, while source-level closure belongs to Ω. The final verdict is precise. Category theory does not fail; it reaches its proper boundary. CΩ governs readable morphism difference, compositional admissibility, and local structural retention. Ω governs settled standing and source-level closure. Divergent morphisms converge structurally because their admissible differences remain local readouts under one oneness-based adjudication surface.

Powered by OpenAIRE graph
Found an issue? Give us feedback