Related papers: You Wouldn't Permutahedron
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
As in the case of the associahedron and cyclohedron, the permutohedron can also be defined as an appropriate compactification of a configuration space of points on an interval or on a circle. The construction of the compactification endows…
We unravel the algebraic structure which controls the various ways of computing the word ((xy)(zt)) and its siblings. We show that it gives rise to a new type of operads, that we call permutads. It turns out that this notion is equivalent…
We construct a concrete isomorphism from the permutohedral variety to the regular semisimple Hessenberg variety associated to the Hessenberg function $h_+(i)=i+1$, $1\le i\le n-1$. In the process of defining the isomorphism, we introduce a…
Coherence phenomena appear in two different situations. In the context of category theory the term `coherence constraints' refers to a set of diagrams whose commutativity implies the commutativity of a larger class of diagrams. In the…
The usual coherence theorem of MacLane for categories with multiplication assumes that a certain pentagonal diagram commutes in order to conclude that associativity isomorphisms are well defined in a certain practical sense. The practical…
Permutation symmetries of multipartite quantum states are defined only when the constituent subsystems are of equal dimensions. In this work we extend this notion of permutation symmetry to heterogeneous systems, that is, systems composed…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
In this paper, we first recall the notion of (noncommutative) Poisson conformal algebras and describe some constructions of them. Then we study the formal distribution (noncommutative) Poisson algebras and coefficient (noncommutative)…
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories, where associativity arrows are identities. Mac Lane's…
Generalized permutahedra are the polytopes obtained from the permutahedron by changing the edge lengths while preserving the edge directions, possibly identifying vertices along the way. We introduce a "lifting" construction for these…
In this paper we investigate a class of (d+1) dimensional cosmological models with a cosmological constant possessing an R^d simply transitive symmetry group and show that it can be written in a form that manifests the effect of a…
This paper offers a geometrical realisation of simple permutoassociahedra, which has significant importance serving as a topological proof of Mac Lane's coherence. We introduce a family of $n$-polytopes, $PA_{n,c}$, obtained by Minkowski…
We study a class of algebras with non-Lie commutation relations whose symplectic leaves are surfaces of revolution: a cylinder or a torus. Over each of such surfaces we introduce a family of complex structures and Hilbert spaces of…
A theory of (co)homologies related to set-theoretic $n$-simplex relations is constructed in analogy with the known quandle and Yang--Baxter (co)homologies, with emphasis made on the tetrahedron case. In particular, this permits us to…
This is an investigation of the role of shuffling and concatenating in the theory of graph drawing. A simple syntactic description of these and related operations is proved complete in the context of finite partial orders, as general as…
Semi-direct products of finite groups have permutation representations that are constructed from the permutation representations of their constituents. One can envision these in a metaphoric sense in which a rope is made from a bundle of…
This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…
The associahedron is classically constructed as a removahedron, i.e. by deleting inequalities in the facet description of the permutahedron. This removahedral construction extends to all permutreehedra (which interpolate between the…
Taking a representation-theoretic viewpoint, we construct a continuous associahedron motivated by the realization of the generalized associahedron in the physical setting. We show that our associahedron shares important properties with the…