:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Liu, Zuan, Malbos, Philippe
Format:	Preprint
Published:	2025
Subjects:	Rings and Algebras Formal Languages and Automata Theory Category Theory 12H05, 16Z10, 18N30, 68Q42, 18G10
Online Access:	https://arxiv.org/abs/2502.16304
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Polygraphs: From Rewriting to Higher Categories
by: Ara, Dimitri, et al.
Published: (2023)

Topoi of automata I: Four topoi of automata and regular languages
by: Hora, Ryuya
Published: (2024)

Rewriting Systems on Arbitrary Monoids
by: Magalhães, Eduardo
Published: (2026)

Cubical coherent confluence, $ω$-groupoids and the cube equation
by: Malbos, Philippe, et al.
Published: (2025)

Generalised Möbius Categories and Convolution Kleene Algebras
by: Cranch, James, et al.
Published: (2025)

Topological Kleene Field Theories as a model of computation
by: González-Prieto, Ángel, et al.
Published: (2025)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
by: Malbos, Philippe, et al.
Published: (2024)

Classification of integral modular data up to rank 13
by: Alekseyev, Max A., et al.
Published: (2023)

Generating linear categories of partitions
by: Gromada, Daniel, et al.
Published: (2019)

Hopf algebras are determined by their monoidal derived categories
by: Xu, Yuying, et al.
Published: (2025)

Classifying integral Grothendieck rings up to rank 5 and beyond
by: Alekseyev, Max A., et al.
Published: (2025)

Presheaf automata
by: Struth, Georg, et al.
Published: (2024)

Quantum group coproducts and universality under scalar extensions
by: Chirvasitu, Alexandru
Published: (2024)

Rewriting Structured Cospans
by: Cicala, Daniel
Published: (2020)

An automata-based test for bricks over string algebras
by: Kuber, Amit, et al.
Published: (2026)

The binary product in the 2-category of triangular bialgebras and twisted morphisms
by: Ardizzoni, Alessandro, et al.
Published: (2025)

Rewriting modulo in diagrammatic algebras and application to categorification
by: Schelstraete, Léo
Published: (2025)

Para-differential Rota-Baxter algebras and their free objects by Gröbner-Shirshov bases
by: Guo, Li, et al.
Published: (2026)

Odd Khovanov homology, higher representation theory and higher rewriting theory
by: Schelstraete, Léo
Published: (2024)

On the ET0L subgroup membership problem in bounded automata groups
by: Bishop, Alex, et al.
Published: (2024)

Pretriangulated 2-representations via dg algebra 1-morphisms
by: Laugwitz, Robert, et al.
Published: (2022)

Noncommutative tensor triangular geometry: modules, bimodules, and unipotent Hopf algebras
by: Solberg, Øyvind, et al.
Published: (2025)

Fully exact and fully dualizable module categories
by: Gainutdinov, Azat M., et al.
Published: (2026)

On the equivalence between the existence of $n$-kernels and $n$-cokernels
by: Gulisz, Vitor, et al.
Published: (2025)

Prescribed duality dynamics in comodule categories
by: Chirvasitu, Alexandru
Published: (2024)

On groups with EDT0L word problem
by: Bishop, Alex, et al.
Published: (2025)

Injectivity paucity in AB5 categories of oversize chains
by: Chirvasitu, Alexandru
Published: (2026)

Gorensteinness from duality pairs induced via Foxby equivalences
by: Becerril, Víctor, et al.
Published: (2025)

Lambek pregroups are Frobenius spiders in preorders
by: Pavlovic, Dusko
Published: (2021)

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
by: Vidal, Juan Climent, et al.
Published: (2024)

Differential graded cell 2-representations
by: Laugwitz, Robert, et al.
Published: (2022)

Free inverse monoids are co-context-free
by: Brough, Tara Macalister, et al.
Published: (2025)

A comonad for Grothendieck fibrations
by: Emmenegger, Jacopo, et al.
Published: (2023)

Module Categories As Spans
by: Xu, Hao
Published: (2024)

Simplicity and irreducibility in circular automata
by: Venturi, Riccardo
Published: (2025)

Integrals for Bialgebras
by: Ardizzoni, Alessandro, et al.
Published: (2025)

On the Hopf envelope of finite-dimensional bialgebras
by: Ardizzoni, Alessandro, et al.
Published: (2025)

Inner automorphisms as 2-cells
by: Hofstra, Pieter, et al.
Published: (2024)

Cartesian double theories: A double-categorical framework for categorical doctrines
by: Lambert, Michael, et al.
Published: (2023)

Generalizations of the Muller-Schupp theorem and tree-like inverse graphs
by: Rodaro, Emanuele
Published: (2023)