Image de couverture de livre

Categorical generalization of spectral decomposition

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nishizawa, Koki, Ide, Yusuke, Tsumagari, Norihiro
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An Introduction to Categorical Proof Theory
par: Tabatabai, Amirhossein Akbar
Publié: (2024)

Categorical Proof-Theoretic Semantics
par: Pym, David, et autres
Publié: (2023)

A Categorical Foundation of Rough Sets
par: Kakutani, Yoshihiko
Publié: (2025)

On Complete Categorical Semantics for Effect Handlers
par: Kura, Satoshi
Publié: (2026)

Proof Identity and Categorical Models of BV
par: Acclavio, Matteo, et autres
Publié: (2026)

A Categorical Approach to DIBI Models
par: Gu, Tao, et autres
Publié: (2024)

Strategies as Resource Terms, and their Categorical Semantics
par: Blondeau-Patissier, Lison, et autres
Publié: (2023)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

A Categorical Semantics for Linear Logical Frameworks
par: Vákár, Matthijs
Publié: (2015)

A Categorical Approach to Coalgebraic Fixpoint Logic
par: Schoen, Ezra, et autres
Publié: (2024)

Unified Gentzen Approach to Connexive Logics over Wansing's C
par: Kamide, Norihiro
Publié: (2024)

Twist Sequent Calculi for S4 and its Neighbors
par: Kamide, Norihiro
Publié: (2024)

A Unifying Categorical View of Nondeterministic Iteration and Tests
par: Goncharov, Sergey, et autres
Publié: (2024)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
par: Asor, Ohad
Publié: (2026)

A Categorical Framework for Modeling with Stock and Flow Diagrams
par: Baez, John C., et autres
Publié: (2022)

A Unified Gentzen-style Framework for Until-free LTL
par: Kamide, Norihiro, et autres
Publié: (2024)

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
par: McPheat, Lachlan, et autres
Publié: (2020)

Categorical Construction of Logically Verifiable Neural Architectures
par: Nye, Logan
Publié: (2025)

A Simple Categorical Calculus of Interacting Processes
par: Nester, Chad, et autres
Publié: (2026)

Categorical Data Structures for Technical Computing
par: Patterson, Evan, et autres
Publié: (2021)

A New Tractable Description Logic under Categorical Semantics
par: Duc, Chan Le, et autres
Publié: (2025)

A Categorical Treatment of Open Linear Systems
par: Stein, Dario, et autres
Publié: (2024)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
par: Goertzel, Ben
Publié: (2025)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
par: Tulcan, Radu-Florin, et autres
Publié: (2026)

Machine-Checked Categorical Diagrammatic Reasoning
par: Guillemet, Benoît, et autres
Publié: (2024)

The Sup Connective in IMALL: A Categorical Semantics
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
par: Lorenzin, Antonio, et autres
Publié: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
par: Oda, Yukihiro
Publié: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
par: Hansen, Helle Hvid, et autres
Publié: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
par: Ayhan, Sara, et autres
Publié: (2025)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Basis-Sensitive Quantum Typing via Realisability
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

An abstract fixed-point theorem for Horn formula equations
par: Hetzl, Stefan, et autres
Publié: (2025)

Terminating Hybrid Tableaus for Ordered Models
par: Nishimura, Yuki
Publié: (2025)