activity
20052026
most citedIntroduction to linear logic and ludics, part II

32 citations · 72 across the 18 of their papers we have counts for

collaborators

21 papers

math.CO2026

Generalised flip order on the faces of nestohedra

Pierre-Louis Curien, Bérénice Delcroix-Oger, Jovana Obradović

Classical shuffle products on permutations and binary planar rooted trees (i.e., on the vertices of permutohedra and associahedra) admit descriptions in terms of intervals in the w…

math.CO2026

Tridendriform algebras on hypergraph polytopes, the other way around

Pierre-Louis Curien, Bérénice Delcroix-Oger, Jovana Obradović

Hypergraph polytopes (or nestohedra) form a broad class of polytopes obtained by truncating faces of a simplex according to a hypergraph. In earlier work, the authors constructed q…

math.CT2024

Term rewriting on nestohedra

Pierre-Louis Curien, Guillaume Laplante-Anfossi

We define term rewriting systems on the vertices and faces of nestohedra, and show that the former are confluent and terminating. While the associated posets on vertices generalize…

math.AT2023

Topological proofs of categorical coherence

Pierre-Louis Curien, Guillaume Laplante-Anfossi

We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW comple…

math.AT2022★ 2 cited

Rigidification of cubical quasi-categories

Pierre-Louis Curien, Muriel Livernet, Gabriel Saadia

We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the ca…

math.CO2022

Tridendriform algebras on hypergraph polytopes

Pierre-Louis Curien, Bérénice Delcroix-Oger, Jovana Obradović

We extend the works of Loday-Ronco and Burgunder-Ronco on the tridendriform decomposition of the shuffle product on the faces of associahedra and permutohedra, to other families of…