Cover Image

Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Sukhov, Dmytro
Format:	Preprint
Published:	2025
Subjects:	Category Theory 18B99 (Primary), 18F99, 54E70, 03G30 F.4.1; G.2.2; I.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)

Categorical Invariants of Learning Dynamics
by: Tamim, Abdulrahman
Published: (2025)

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
by: Alpay, Faruk
Published: (2025)

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

What kind of linearly distributive category do polynomial functors form?
by: Spivak, David I., et al.
Published: (2024)

Unitary, Inner product, and Dagger categories
by: Cockett, Robin, et al.
Published: (2026)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
by: Schellhorn, Daniel Romero, et al.
Published: (2026)

A Homological Separation of $\mathbf{P}$ from $\mathbf{NP}$ via Computational Topology and Category Theory
by: Tang, Jian-Gang
Published: (2025)

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

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

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

$γ(3,4)$ `Attention' in Cognitive Agents: Ontology-Free Knowledge Representations With Promise Theoretic Semantics
by: Burgess, Mark
Published: (2025)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

Hypernetwork Theory: The Structural Kernel
by: Charlesworth, Richard D.
Published: (2025)

From Copying to Corelations via Ancestry Partitions
by: Santacana, Andreu Ballus
Published: (2025)

Geometry and Dress groups with non-symmetric cost functions
by: Barth, Lukas Silvester, et al.
Published: (2025)

First-Order Coalition Logic
by: Catta, Davide, et al.
Published: (2025)

Defeasible Reasoning via Datalog$^\neg$
by: Maher, Michael J.
Published: (2021)

On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
by: Burgess, Mark
Published: (2025)

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

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)

Planning with Dynamically Changing Domains
by: Soutchanski, Mikhail, et al.
Published: (2025)

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)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

Bounded Model Checking for Unbounded Client Server Systems
by: Phawade, Ramchandra, et al.
Published: (2022)

Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)

Agent Semantics, Semantic Spacetime, and Graphical Reasoning
by: Burgess, Mark
Published: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
by: Grosser, Marvin, et al.
Published: (2026)

Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
by: Mourad, Daniel
Published: (2024)

Towards Weak Stratification for Logics of Definitions
by: Guermond, Nathan
Published: (2026)

Aspects of Condensed Mathematics -- From Abstract Nonsense to Ergodic Theory
by: Bihlmaier, Noa, et al.
Published: (2025)

Generative Fractional Diffusion Models
by: Nobis, Gabriel, et al.
Published: (2023)

On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)

The DeMorganization of a locale
by: Arrieta, Igor
Published: (2024)

Scott locales
by: Resende, Pedro, et al.
Published: (2025)

Classification of obscuration-free reflective polygonal light beams
by: Franck, Pierre, et al.
Published: (2025)

$\mathbb{P}^n$-functors
by: Anno, Rina, et al.
Published: (2019)

A Homological View of Categorical Algebra
by: Peschke, George, et al.
Published: (2024)