Image de couverture de livre

Polygraphs: From Rewriting to Higher Categories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ara, Dimitri, Burroni, Albert, Guiraud, Yves, Malbos, Philippe, Métayer, François, Mimram, Samuel
Format:	Preprint
Publié:	2023
Sujets:	Category Theory Logic in Computer Science 18N30 (Primary) 18-00, 18C10, 18N40, 68Q42 (Secondary) F.4.2; A.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Cubical coherent confluence, $ω$-groupoids and the cube equation
par: Malbos, Philippe, et autres
Publié: (2025)

Polygraphic resolutions for operated algebras
par: Liu, Zuan, et autres
Publié: (2025)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
par: Malbos, Philippe, et autres
Publié: (2024)

Higher Catoids, Higher Quantales and their Correspondences
par: Calk, Cameron, et autres
Publié: (2023)

An Internal Logic of Virtual Double Categories
par: Nasu, Hayato
Publié: (2024)

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

Term rewriting on nestohedra
par: Curien, Pierre-Louis, et autres
Publié: (2024)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
par: Benjamin, Thibaut, et autres
Publié: (2025)

On products of skeleta
par: Keenan, Liam, et autres
Publié: (2025)

Effective codescent morphisms of $n$-quasigroups and $n$-loops
par: Zangurashvili, Dali
Publié: (2024)

Lax functorialities of the comma construction for $ω$-categories
par: Ara, Dimitri, et autres
Publié: (2025)

Higher inductive types in $(\infty,1)$-categories
par: Uemura, Taichi
Publié: (2024)

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

Construction and Properties of the Ground State of Natural Phenomena
par: Gauthier, Renaud
Publié: (2025)

Higher Witt Groups for 2-Categories I: Centralizers
par: Xu, Hao
Publié: (2024)

Internal 1-topoi in 2-topoi
par: Helfer, Joseph
Publié: (2024)

Rewriting Systems on Arbitrary Monoids
par: Magalhães, Eduardo
Publié: (2026)

Deformation Theory for $(\infty,n)$-categories
par: Kositsyn, Roman
Publié: (2025)

A 2-categorical analysis of context comprehension
par: Coraglia, Greta, et autres
Publié: (2024)

Involutive Weak Cubical $ω$-categories
par: Bejrakarbum, Paratat, et autres
Publié: (2025)

An Enriched Approach to the Strictification of $(\infty,1)$-Categories
par: Strong, Kimball
Publié: (2025)

Hom $ω$-categories of a computad are free
par: Benjamin, Thibaut, et autres
Publié: (2024)

Familial Monads as Higher Category Theories
par: Shapiro, Brandon
Publié: (2021)

Categories graded by group homomorphisms
par: Davies, Jonathan
Publié: (2026)

Toward the effective 2-topos
par: Awodey, Steve, et autres
Publié: (2025)

Finite Semisimple Module 2-Categories
par: Décoppet, Thibault D.
Publié: (2021)

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
par: Capucci, Matteo, et autres
Publié: (2024)

Exponentiable Virtual Double Categories and Representability of Exponentials
par: Carlson, Kevin D., et autres
Publié: (2026)

Computads for generalised signatures
par: Markakis, Ioannis
Publié: (2023)

An elementary definition of opetopic sets
par: Uemura, Taichi
Publié: (2025)

Nerves of enriched categories via necklaces
par: Mertens, Arne
Publié: (2024)

The Adjoint Representation of a Higher Lie Groupoid
par: Trentinaglia, Giorgio
Publié: (2023)

Involutive Weak Globular $ω$-categories
par: Bejrakarbum, Paratat, et autres
Publié: (2023)

Categorical spectra as pointed $(\infty,\mathbb{Z})$-categories
par: Kern, David
Publié: (2024)

A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
par: Sati, Hisham, et autres
Publié: (2026)

Enriched quasi-categories and the templicial homotopy coherent nerve
par: Lowen, Wendy, et autres
Publié: (2023)

Free extensivity via distributivity
par: Nunes, Fernando Lucatelli, et autres
Publié: (2024)

$ω$-equifibrations between strict and weak $ω$-categories
par: Fujii, Soichiro, et autres
Publié: (2025)

Cosmological Unstraightening
par: Rasekh, Nima
Publié: (2025)

A Polynomial Construction of Nerves for Higher Categories
par: Shapiro, Brandon T., et autres
Publié: (2024)