Buchumschlag

Truncation, Negation, and Coherence Obstructions in Higher-Categorical Logic

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Yugo Hidaka
Format:	Recurso digital
Sprache:	Englisch
Veröffentlicht:	Zenodo 2026
Schlagworte:	higher category theory, (infinity,1)-topos, homotopy type theory, truncation, coherence, 2-categories, higher logic, categorical logic, stratified negation, homotopy theory Mathematics > Category Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Generative Category Theory C; n-Categories as the Algebraization of n-Level Recursion
von: zhou, changzheng, et al.
Veröffentlicht: (2026)

Emergence of Physical Laws from ∞-Topos Structures
von: Janik, John
Veröffentlicht: (2025)

Quantum Gravity through the Lens of Category-Sheaf-Topos Framework: Eight Profound Research Directions
von: Yuanjian, Li
Veröffentlicht: (2025)

The homotopy theory of type theories
von: Kapulkin, Chris, et al.
Veröffentlicht: (2016)

A foundation for deductive mathematics
von: Quinn, Frank
Veröffentlicht: (2021)

Spectral Selection Rule D: Higher-Order Topological Orders and Composite Spectral Invariants– Cascade Constraints on Viable Universe Models
von: zhou, changzheng, et al.
Veröffentlicht: (2026)

The Reflection Price of Existence: Vopěnka's Principle and the Collapse Spectrum of Universality
von: Bruhacs, Lorand
Veröffentlicht: (2026)

On foundations for deductive mathematics
von: Quinn, Frank
Veröffentlicht: (2024)

The homotopy exact sequence of a pair of graphs
von: Mohamed Elamine Talbi
Veröffentlicht: (2013)

Simplicial and Dendroidal Homotopy Theory
von: Heuts, Gijs, et al.
Veröffentlicht: (2022)

¿SON LOS CONCEPTOS FORMALES (O LÓGICOS) CATEGORÍAS ONTOLÓGICAS?
von: Sergio Mota
Veröffentlicht: (2018)

The Quantum Realization Functor and the κ-Obstruction Theorem: Why Quantum Computation is Bounded by the Algebraic Geometry of Motives
von: Eltgroth, Matthew
Veröffentlicht: (2026)

The Essence of Emergent Origins H: A Functorial Interpretation Framework Based on Category Theory for the Unified Criteria of Topological Order Emergence
von: zhou, changzheng, et al.
Veröffentlicht: (2025)

General Theory of Finite Descent Authority
von: Carroll, Jeremy H.
Veröffentlicht: (2026)

Branes and DAHA Representations
von: Gukov, Sergei, et al.
Veröffentlicht: (2023)

The Ultimate Number Domain of Complex Numbers: Fieldoid F; Higher-Order Categories and the Structural Ontology of the Self-Referential Universe
von: zhou, changzheng, et al.
Veröffentlicht: (2026)

Talking about Good and Bad Learners: Linguistic Dimension of Implicit Theories of Intelligence
von: Allan B. I. Bernardo
Veröffentlicht: (2012)

IDENTIFICATION OF SOURCES OF TRANSACTION COSTS - A FUZZY APPROACH FOR THE EVALUATION OF ANALYTICAL CATEGORIES
von: Marcos Alves dos Reys
Veröffentlicht: (2010)

Brouwer fixed point theorem in strictly star-shaped sets
von: Lech Gorniewicz, et al.
Veröffentlicht: (2023)

Z'Mathemathical Foundation on perceptual collapse
von: Cicero, Ollivier
Veröffentlicht: (2025)

MAPPING THE REGION OF INSTABILITY FOR ADIABATIC PACKED BED REACTORS USING A HOMOTOPY CONTINUATION METHOD
von: JUAN PABLO GUTIÉRREZ HERNANDEZ
Veröffentlicht: (2010)

CAT'S THEORY: The Triadic Persistence Kernel — A Spiral-Complete, Convergence-Stable Formal Derivation
von: Trout, Coty Austin
Veröffentlicht: (2025)

On comparison of approximate solutions for linear and nonlinear schrodinger equations
von: Zeliha Korpinar
Veröffentlicht: (2019)

The Many and the One
von: Florio, Salvatore, et al.
Veröffentlicht: (2021)

(Hyper)sequent Calculi for the ALC(S4) Description Logics
von: Juan Pablo Muñoz
Veröffentlicht: (2016)

Homotopical inverse diagrams in categories with attributes
von: Kapulkin, Chris, et al.
Veröffentlicht: (2018)

Reconstructing Physical Theories from Homotopy-Coherent Time: Rigorous Categorical Foundations for Quantum, Relativistic, and Thermodynamic Dynamics
von: Yuanjian, Li
Veröffentlicht: (2025)

Foundations of Software Science and Computation Structures
Veröffentlicht: (2021)

Essential Theoreticity: Hidden Invariants and Non-Canonical Inquiry
von: Bruhacs, Lorand
Veröffentlicht: (2026)

THE COHERENCE SUBSTRATE: A Unified Framework for Time, Consciousness, and Physical Law
von: Gibson, Christopher M.
Veröffentlicht: (2026)

Dismantling Infinity as a Metaphysical Category Error: With an Analog–Digital Reconstruction of 0, 1, and Unbounded Refinement
von: Schutheis, Andreas
Veröffentlicht: (2025)

Comparing semantic frameworks for dependently-sorted algebraic theories
von: Ahrens, Benedikt, et al.
Veröffentlicht: (2024)

Differentially closed fields of characteristic zero with a generic automorphism
von: Ronald F. Bustamante Medina
Veröffentlicht: (2007)

Modelling and Verifying Coalitions using Argumentation and ATL
von: Nils Bulling
Veröffentlicht: (2010)

Self-Homotopy Equivalence Group of an Elliptic Space and Its Embedding in general Linear Groups
von: Benkhalifa, Mahmoud
Veröffentlicht: (2025)

Tableau Methods for Propositional Logic and Term Logic
von: Jarmużek, Tomasz
Veröffentlicht: (2024)

Categories and General Algebraic Structures with Applications
Veröffentlicht: (2017)

Proof of the Hodge Conjecture within the Unified Metabolic Causal Field
von: Zhu, Jianbing
Veröffentlicht: (2026)

Proof of the Hodge Conjecture within the Unified Metabolic Causal Field
von: Zhu, Jianbing
Veröffentlicht: (2026)

Mapping the Collaborative Research Process
von: Julie Reed Kochanek
Veröffentlicht: (2015)