Related papers: Relation lifting, with an application to the many-…
The characteristic function of row contractions and liftings of row contractions are complete invariants up to unitary equivalence for row contractions and liftings of row contractions, respectively. We provide alternate proofs for these…
This article presents a reformulation of the Theory of Functional Connections: a general methodology for functional interpolation that can embed a set of user-specified linear constraints. The reformulation presented in this paper exploits…
We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…
Given a functor $F: \mathcal{C} \to \mathcal{D}$ and a model-theoretic independence relation on $\mathcal{D}$, we can lift that independence relation along $F$ to $\mathcal{C}$ by declaring a commuting square in $\mathcal{C}$ to be…
We establish new results on weighted $L^2$ extension of holomorphic top forms with values in a holomorphic line bundle, from a smooth hypersurface cut out by a holomorphic function. The weights we use are determined by certain functions…
In the context of abstract coinduction in complete lattices, the notion of compatible function makes it possible to introduce enhancements of the coinduction proof principle. The largest compatible function, called the companion, subsumes…
In this paper we discuss some enlargements of the category of sets with semigroup actions and equivariant functions. We show that these enlarged categories possess two idempotent endofunctors. In the case of groups these enlarged categories…
Liftable pairs of adjoint functors between braided monoidal categories in the sense of \cite{GV-OnTheDuality} provide auto-adjunctions between the associated categories of bialgebras. Motivated by finding interesting examples of such pairs,…
We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We make use of a specific instance of the Grothendieck construction to provide, for every bicategory equipped with a possible…
State monads in cartesian closed categories are those defined by the familiar adjunction between product and exponential. We investigate the structure of their algebras, and show that the exponential functor is monadic provided the base…
The goal of this paper is to derive new classes of valid convex inequalities for quadratically constrained quadratic programs (QCQPs) through the technique of lifting. Our first main result shows that, for sets described by one bipartite…
Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…
We give necessary and sufficient conditions for stratification and costratification to descend along a coproduct preserving, tensor-exact $R$-linear functor between $R$-linear tensor-triangulated categories which are rigidly-compactly…
This manuscript represents an advance in the enumerative geometry of opers that takes the subject beyond our previous work. Motivated by a counting problem of linear differential equations in positive characteristic, we investigate the…
This lecture series is based on joint work in progress with Shaul Barkan, as well as work in progress of the author. The five sections of these notes correspond to the five lectures, but more details have been added. $2$-dimensional…
Given a monoidal category C, an ordinary category M, and a monad T in M, the lifts in a strict sense of a fixed action of C on M to an action of C on the Eilenberg-Moore category of T-modules in M are in a bijective correspondence with…
The well-known Lawvere category R of extended real positive numbers comes with a monoidal closed structure where the tensor product is the sum. But R has another such structure, given by multiplication, which is *-autonomous. Normed sets,…
Given a pure motive $M$ over $\mathbb{Q}$ with a multilinear algebraic structure $\mathsf{s}$ on $M$, and given a representation $V$ of the group respecting $\mathsf{s}$, we describe a functorial transfer $M^V$. We formulate a criterion…
We combine the theory of inductive data types with the theory of universal measurings. By doing so, we find that many categories of algebras of endofunctors are actually enriched in the corresponding category of coalgebras of the same…
Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with…