Cover Image

Term rewriting on nestohedra

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Curien, Pierre-Louis, Laplante-Anfossi, Guillaume
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic in Computer Science Algebraic Topology Combinatorics 68Q42 (Primary) 18N20, 52B11 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Topological proofs of categorical coherence
by: Curien, Pierre-Louis, et al.
Published: (2023)

Measuring data types
by: Mulder, Lukas, et al.
Published: (2024)

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

Rigidification of cubical quasi-categories
by: Curien, Pierre-Louis, et al.
Published: (2022)

Steenrod operations via higher Bruhat orders
by: Laplante-Anfossi, Guillaume, et al.
Published: (2023)

Framed Polytopes and Higher Categories
by: Laplante-Anfossi, Guillaume, et al.
Published: (2025)

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

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

Operadic twisting as an adjunction
by: Laplante-Anfossi, Guillaume, et al.
Published: (2025)

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

Higher holonomy for curved L${}_\infty$-algebras 1: simplicial methods
by: Getzler, Ezra
Published: (2024)

A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
by: Sati, Hisham, et al.
Published: (2026)

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

Linearly distributive coherence in the absence of units
by: Demirdilek, Max, et al.
Published: (2026)

Presentation of finite Reedy categories as localizations of finite direct categories
by: Sato, Genki
Published: (2025)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
by: Inoué, Takao
Published: (2026)

Functor calculus via non-cubes
by: Stoll, Robin
Published: (2022)

Groupoidal and truncated $n$-quasi-categories
by: Brittes, Victor
Published: (2024)

A universal characterization of the curved homotopy Lie and associative operads
by: Laplante-Anfossi, Guillaume, et al.
Published: (2024)

Exponentiable functors between synthetic $\infty$-categories
by: Bardomiano-Martínez, César
Published: (2024)

Universality of span 2-categories and the construction of 6-functor formalisms
by: Cnossen, Bastiaan, et al.
Published: (2025)

Equivalence Between Four Models of Associahedra
by: Basu, Somnath, et al.
Published: (2022)

The DG-category of secondary cohomology operations
by: Baues, Hans-Joachim, et al.
Published: (2018)

A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)

Semi-strictification of $(\infty, n)$-categories
by: Chanavat, Clémence, et al.
Published: (2025)

Closed-Form Decomposition for Simplicial Cones and PDBarv Algorithm for Lattice Point Counting
by: Tao, Sihao, et al.
Published: (2025)

Finite-state transducers for substitution tilings
by: Tatham, Simon
Published: (2025)

Obstructions for Associativity in Stable Homotopy Theory
by: Willumsgaard, Sophus Valentin
Published: (2026)

Revisiting $(\infty,2)$-naturality of the Yoneda embedding
by: Lenz, Tobias
Published: (2025)

Absolute algebras, contramodules, and duality squares
by: Lucio, Victor Roca i
Published: (2022)

Genus Zero Kashiwara-Vergne Solutions from Braids
by: Dancso, Zsuzsanna, et al.
Published: (2025)

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

Effective codescent morphisms of $n$-quasigroups and $n$-loops
by: Zangurashvili, Dali
Published: (2024)

Homotopical commutative rings and bispans
by: Cnossen, Bastiaan, et al.
Published: (2024)

First-order homotopical logic
by: Helfer, Joseph
Published: (2019)

An Internal Logic of Virtual Double Categories
by: Nasu, Hayato
Published: (2024)

A study of Kock's fat Delta
by: de Jong, Tom, et al.
Published: (2025)

Comparing Diagonals on the Associahedra
by: Saneblidze, Samson, et al.
Published: (2022)

Interleaving distances from height-difference functions on posets
by: Aoki, Toshitaka
Published: (2026)

The category of necklaces is Reedy monoidal
by: Marques, Violeta Borges, et al.
Published: (2023)