Imagen de Portada

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Barile, Adriano, Berardi, Stefano, Roversi, Luca
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Category Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
por: Milosavljevic, Aleksandar, et al.
Publicado: (2022)

On the Axioms of Arboreal Categories
por: Jakl, Tomáš, et al.
Publicado: (2026)

Left-Linear Rewriting in Adhesive Categories
por: Baldan, Paolo, et al.
Publicado: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
por: Abramsky, Samson, et al.
Publicado: (2021)

Linear Arboreal Categories
por: Abramsky, Samson, et al.
Publicado: (2023)

Rewriting Modulo Traced Comonoid Structure
por: Ghica, Dan R., et al.
Publicado: (2023)

(Pointed) Univalence in Universe Category Models of Type Theory
por: Kapulkin, Chris, et al.
Publicado: (2025)

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
por: Tiurin, Aleksei, et al.
Publicado: (2024)

Univalent Double Categories
por: van der Weide, Niels, et al.
Publicado: (2023)

Elgot Categories and Abacus Programs
por: Nester, Chad
Publicado: (2025)

Classical Distributive Restriction Categories
por: Cockett, Robin, et al.
Publicado: (2023)

Coinductive Streams in Monoidal Categories
por: Di Lavore, Elena, et al.
Publicado: (2022)

The Category of Operator Spaces and Complete Contractions
por: Lindenhovius, Bert, et al.
Publicado: (2024)

Promonads and String Diagrams for Effectful Categories
por: Román, Mario
Publicado: (2022)

Terminal Coalgebras in Countably Many Steps
por: Adámek, Jiří, et al.
Publicado: (2023)

Synthetic 1-Categories in Directed Type Theory
por: Altenkirch, Thorsten, et al.
Publicado: (2024)

Univalent Enriched Categories and the Enriched Rezk Completion
por: van der Weide, Niels
Publicado: (2024)

String Diagrams for Closed Symmetric Monoidal Categories
por: Reader, Callum, et al.
Publicado: (2025)

On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
por: Castelnovo, Davide, et al.
Publicado: (2024)

A Syntax for Strictly Associative and Unital $\infty$-Categories
por: Finster, Eric, et al.
Publicado: (2023)

Proceedings Eighth International Conference on Applied Category Theory
por: Hadzihasanovic, Amar, et al.
Publicado: (2026)

Evidential Decision Theory via Partial Markov Categories
por: Di Lavore, Elena, et al.
Publicado: (2023)

An invitation to game comonads
por: Abramsky, Samson, et al.
Publicado: (2024)

Protocol Choice and Iteration for the Free Cornering
por: Nester, Chad, et al.
Publicado: (2023)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
por: Kaye, George
Publicado: (2025)

Manifold Diagrams for Higher Categories
por: Heidemann, Lukas
Publicado: (2024)

Dynamics and Coherence for the Free Cornering with Protocol Choice
por: Nester, Chad, et al.
Publicado: (2025)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
por: Abramsky, Samson, et al.
Publicado: (2022)

Double Glueing over Free Exponential: with Measure Theoretic Applications
por: Hamano, Masahiro
Publicado: (2021)

A BV-Category of Spacetime Interventions
por: Hefford, James, et al.
Publicado: (2025)

Notes on Category Theory with examples from basic mathematics
por: Perrone, Paolo
Publicado: (2019)

Homotopy type theory as a language for diagrams of $\infty$-logoses
por: Uemura, Taichi
Publicado: (2022)

Yet another cubical type theory, but via a semantic approach
por: Kapulkin, Chris, et al.
Publicado: (2025)

From Semantics to Syntax: A Type Theory for Comprehension Categories
por: Najmaei, Niyousha, et al.
Publicado: (2025)

Partial Markov Categories
por: Di Lavore, Elena, et al.
Publicado: (2025)

Comodule Representations of Second-Order Functionals
por: Ahman, Danel, et al.
Publicado: (2024)

A categorical formulation of Kraus' paradox
por: Swan, Andrew W.
Publicado: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
por: Simpson, Alex
Publicado: (2024)

Groupoidal Realizability for Intensional Type Theory
por: Speight, Sam
Publicado: (2024)

An Introduction to Categorical Proof Theory
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)