Polygraphs: From Rewriting to Higher Categories
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Ara, Dimitri, Burroni, Albert, Guiraud, Yves, Malbos, Philippe, Métayer, François, Mimram, Samuel |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| 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)
par: Malbos, Philippe, et autres
Publié: (2025)
Polygraphic resolutions for operated algebras
par: Liu, Zuan, et autres
Publié: (2025)
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)
par: Malbos, Philippe, et autres
Publié: (2024)
Higher Catoids, Higher Quantales and their Correspondences
par: Calk, Cameron, et autres
Publié: (2023)
par: Calk, Cameron, et autres
Publié: (2023)
An Internal Logic of Virtual Double Categories
par: Nasu, Hayato
Publié: (2024)
par: Nasu, Hayato
Publié: (2024)
Rewriting modulo in diagrammatic algebras and application to categorification
par: Schelstraete, Léo
Publié: (2025)
par: Schelstraete, Léo
Publié: (2025)
Term rewriting on nestohedra
par: Curien, Pierre-Louis, et autres
Publié: (2024)
par: Curien, Pierre-Louis, et autres
Publié: (2024)
Beyond Eckmann-Hilton: Commutativity in Higher Categories
par: Benjamin, Thibaut, et autres
Publié: (2025)
par: Benjamin, Thibaut, et autres
Publié: (2025)
On products of skeleta
par: Keenan, Liam, et autres
Publié: (2025)
par: Keenan, Liam, et autres
Publié: (2025)
Effective codescent morphisms of $n$-quasigroups and $n$-loops
par: Zangurashvili, Dali
Publié: (2024)
par: Zangurashvili, Dali
Publié: (2024)
Lax functorialities of the comma construction for $ω$-categories
par: Ara, Dimitri, et autres
Publié: (2025)
par: Ara, Dimitri, et autres
Publié: (2025)
Higher inductive types in $(\infty,1)$-categories
par: Uemura, Taichi
Publié: (2024)
par: Uemura, Taichi
Publié: (2024)
Odd Khovanov homology, higher representation theory and higher rewriting theory
par: Schelstraete, Léo
Publié: (2024)
par: Schelstraete, Léo
Publié: (2024)
Construction and Properties of the Ground State of Natural Phenomena
par: Gauthier, Renaud
Publié: (2025)
par: Gauthier, Renaud
Publié: (2025)
Higher Witt Groups for 2-Categories I: Centralizers
par: Xu, Hao
Publié: (2024)
par: Xu, Hao
Publié: (2024)
Internal 1-topoi in 2-topoi
par: Helfer, Joseph
Publié: (2024)
par: Helfer, Joseph
Publié: (2024)
Rewriting Systems on Arbitrary Monoids
par: Magalhães, Eduardo
Publié: (2026)
par: Magalhães, Eduardo
Publié: (2026)
Deformation Theory for $(\infty,n)$-categories
par: Kositsyn, Roman
Publié: (2025)
par: Kositsyn, Roman
Publié: (2025)
A 2-categorical analysis of context comprehension
par: Coraglia, Greta, et autres
Publié: (2024)
par: Coraglia, Greta, et autres
Publié: (2024)
Involutive Weak Cubical $ω$-categories
par: Bejrakarbum, Paratat, et autres
Publié: (2025)
par: Bejrakarbum, Paratat, et autres
Publié: (2025)
An Enriched Approach to the Strictification of $(\infty,1)$-Categories
par: Strong, Kimball
Publié: (2025)
par: Strong, Kimball
Publié: (2025)
Hom $ω$-categories of a computad are free
par: Benjamin, Thibaut, et autres
Publié: (2024)
par: Benjamin, Thibaut, et autres
Publié: (2024)
Familial Monads as Higher Category Theories
par: Shapiro, Brandon
Publié: (2021)
par: Shapiro, Brandon
Publié: (2021)
Categories graded by group homomorphisms
par: Davies, Jonathan
Publié: (2026)
par: Davies, Jonathan
Publié: (2026)
Toward the effective 2-topos
par: Awodey, Steve, et autres
Publié: (2025)
par: Awodey, Steve, et autres
Publié: (2025)
Finite Semisimple Module 2-Categories
par: Décoppet, Thibault D.
Publié: (2021)
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)
par: Capucci, Matteo, et autres
Publié: (2024)
Exponentiable Virtual Double Categories and Representability of Exponentials
par: Carlson, Kevin D., et autres
Publié: (2026)
par: Carlson, Kevin D., et autres
Publié: (2026)
Computads for generalised signatures
par: Markakis, Ioannis
Publié: (2023)
par: Markakis, Ioannis
Publié: (2023)
An elementary definition of opetopic sets
par: Uemura, Taichi
Publié: (2025)
par: Uemura, Taichi
Publié: (2025)
Nerves of enriched categories via necklaces
par: Mertens, Arne
Publié: (2024)
par: Mertens, Arne
Publié: (2024)
The Adjoint Representation of a Higher Lie Groupoid
par: Trentinaglia, Giorgio
Publié: (2023)
par: Trentinaglia, Giorgio
Publié: (2023)
Involutive Weak Globular $ω$-categories
par: Bejrakarbum, Paratat, et autres
Publié: (2023)
par: Bejrakarbum, Paratat, et autres
Publié: (2023)
Categorical spectra as pointed $(\infty,\mathbb{Z})$-categories
par: Kern, David
Publié: (2024)
par: Kern, David
Publié: (2024)
A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
par: Sati, Hisham, et autres
Publié: (2026)
par: Sati, Hisham, et autres
Publié: (2026)
Enriched quasi-categories and the templicial homotopy coherent nerve
par: Lowen, Wendy, et autres
Publié: (2023)
par: Lowen, Wendy, et autres
Publié: (2023)
Free extensivity via distributivity
par: Nunes, Fernando Lucatelli, et autres
Publié: (2024)
par: Nunes, Fernando Lucatelli, et autres
Publié: (2024)
$ω$-equifibrations between strict and weak $ω$-categories
par: Fujii, Soichiro, et autres
Publié: (2025)
par: Fujii, Soichiro, et autres
Publié: (2025)
Cosmological Unstraightening
par: Rasekh, Nima
Publié: (2025)
par: Rasekh, Nima
Publié: (2025)
A Polynomial Construction of Nerves for Higher Categories
par: Shapiro, Brandon T., et autres
Publié: (2024)
par: Shapiro, Brandon T., et autres
Publié: (2024)
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)