Cover Image

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Alpay, Faruk
Format:	Preprint
Published:	2025
Subjects:	General Mathematics 18C10, 18D05, 03B70, 03G30 F.4.1; I.2.3; F.3.2; F.1.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
by: Alpay, Faruk
Published: (2025)

Fixed-Point Traps and Identity Emergence in Educational Feedback Systems
by: Alpay, Faruk
Published: (2025)

Alpay Algebra: A Universal Structural Foundation
by: Alpay, Faruk
Published: (2025)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
by: Alpay, Faruk, et al.
Published: (2025)

The Relational Machine Calculus
by: Barrett, Chris, et al.
Published: (2024)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
by: Alpay, Faruk, et al.
Published: (2025)

Alpay Algebra IV: Symbiotic Semantics and the Fixed-Point Convergence of Observer Embeddings
by: Kilictas, Bugra, et al.
Published: (2025)

Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation
by: Kilictas, Bugra, et al.
Published: (2025)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Extracting total Amb programs from proofs
by: Berger, Ulrich, et al.
Published: (2023)

Ordinal Folding Index: A Computable Metric for Self-Referential Semantics
by: Alpay, Faruk, et al.
Published: (2025)

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

Approximate Axiomatization for Differentially-Defined Functions
by: Platzer, André, et al.
Published: (2025)

Carryless Pairing: Additive Pairing in the Fibonacci Basis
by: Rosko, Milan
Published: (2025)

Complete Robust Hybrid Systems Reachability
by: Wafa, Noah Abou El, et al.
Published: (2026)

Node Replication: Theory And Practice
by: Kesner, Delia, et al.
Published: (2022)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
by: Grotenhuis, Lide, et al.
Published: (2026)

Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
by: Sukhov, Dmytro
Published: (2025)

$ϕ^{\infty}$: Clause Purification, Embedding Realignment, and the Total Suppression of the Em Dash in Autoregressive Language Models
by: Kilictas, Bugra, et al.
Published: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
by: Ramos, Arthur, et al.
Published: (2025)

From categorized neural architectures to subexponential proof theory
by: Ovalle, Carlos Ramírez
Published: (2026)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

Thoughts on sub-Turing interactive computability
by: Japaridze, Giorgi
Published: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
by: Moore, Hayden, et al.
Published: (2025)

XML Prompting as Grammar-Constrained Interaction: Fixed-Point Semantics, Convergence Guarantees, and Human-AI Protocols
by: Alpay, Faruk, et al.
Published: (2025)

On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)

On the Complexity and Properties of Preferential Propositional Dependence Logic
by: Sauerwald, Kai, et al.
Published: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
by: Kontinen, Juha, et al.
Published: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
by: Sauerwald, Kai, et al.
Published: (2026)

Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
by: Kilictas, Bugra, et al.
Published: (2025)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

Discernment is all you need
by: Fuenmayor, David
Published: (2026)