Categorical Structure of Atomic Normalization for SLP-Definable Deterministic Transitions

Read full text
Authors: Sergei Zubov
Cited by: 0

Abstract

This paper develops the categorical layer of the structural theory of atomic representations of deterministic transitions. Building on the existence of atomic normalization for SLP‑definable transitions, the work introduces the category of atomic forms and the category of SLP transitions, each equipped with structure‑preserving morphisms. The normalization procedure is shown to extend to a functor from SLP transitions to atomic forms. A universal property is established: the category of atomic forms forms a reflective subcategory of the category of SLP transitions. The results provide a categorical explanation for the canonical role of atomic normalization and clarify its structural invariance. The framework applies to deterministic transitions with fixed finite dependency structure and does not introduce new computational models.

Fields of Study & Subjects

semigroups and automata theory Logic programming and type systems Computability AI Algorithms

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
5 March 2026
Language
EN
Document type
Preprint