Related papers: Eliminating reversals from cubical type theories
Recent advancements in generalized symmetries have drawn significant attention to gapped phases of matter exhibiting novel symmetries, such as noninvertible symmetries. By leveraging the duality transformations, the classification and…
In recent years, Homotopy Type Theory (HoTT) has had great success both as a foundation of mathematics and as internal language to reason about $\infty$-groupoids (a.k.a. spaces). However, in many areas of mathematics and computer science,…
An analysis of the path-integral approach to quantum theory motivates the hypothesis that two experiments with the same classical action should have dual ontological descriptions. If correct, this hypothesis would not only constrain…
Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…
Quantum mechanics requires a hermitian inner product <~,~> -- linear in one variable, antilinear in the other -- while the inner product (~,~) that comes most naturally from Euclidean path integrals is linear in each variable. Here we…
We exhibit a connection between two constructions of twisted modules for a general vertex operator algebra with respect to inner automorphisms. We also study pseudo-derivations, pseudo-endomorphisms, and twist deformations of ordinary…
Cubic blocks are studied assembled from linear operators $\mathcal R$ acting in the tensor product of $d$ linear "spin" spaces. Such operator is associated with a linear transformation $A$ in a vector space over a field $F$ of a finite…
We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or…
Quantum systems in 3+1-dimensions that are invariant under gauging a one-form symmetry enjoy novel non-invertible duality symmetries encoded by topological defects. These symmetries are renormalization group invariants which constrain…
Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial…
We develop an obstruction theory for Hirsch extensions of cbba's with twisted coefficients. This leads to a variety of applications, including a structural theorem for minimal cbba's, a construction of relative minimal models with twisted…
Using cluster tilting theory, we investigate tilting objects in the stable category of vector bundles on a weighted projective line of weight type $(2, 2, 2, 2)$. More precisely, a tilting object consisting of rank-two bundles is…
We contribute XTT, a cubical reconstruction of Observational Type Theory which extends Martin-L\"of's intensional type theory with a dependent equality type that enjoys function extensionality and a judgmental version of the unicity of…
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…
We consider a free topological model in 5D euclidean flat spacetime, built from two rank-2 tensor fields. Despite the fact that the bulk of the model does not have any particular physical interpretation, on its 4D planar edge nontrivial…
Our main objective is to demonstrate how homological perturbation theory (HPT) results over the last 40 years immediately or with little extra work give some of the Koszul duality results that have appeared in the last decade. Higher…
This work is the first step in a two-part investigation of real-time replica wormholes. Here we study the associated real-time gravitational path integral and construct the variational principle that will define its saddle-points. We also…
We show that (for the weak operator topology) the set of unitary operators on a separable infinite-dimensional Hilbert space is residual in the set of all contractions. The analogous result holds for isometries and the strong operator…
This paper constructs a graded-commutative, associative, differential Transverse Intersection Algebra TIA {on the torus (in any dimension) with its cubical decomposition by using a probabilistic wiggling interpretation. This structure…
We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between…