Related papers: Unitary pseudonatural transformations

The quantum Haar random oracle model is an idealized model where every party has access to a single Haar random unitary and its inverse. We construct strong pseudorandom unitaries in the quantum Haar random oracle model. This strictly…

We show that any functor between $\infty$-categories can be straightened. More precisely, we show that for any $\infty$-category $\mathcal{C}$, there is an equivalence between the $\infty$-category $(\mathrm{Cat}_{\infty})_{/\mathcal{C}}$…

We construct analogs of the embedding of orthogonal and symplectic groups into unitary groups in the context of fusion categories. At least some of the resulting module categories also appear in boundary conformal field theory. We determine…

We obtain two related characterizations of discrete quantum groups and discrete quantum groups of Kac type as allegorical group objects in the symmetric monoidal dagger category of quantum sets and relations, of interest to quantum…

A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal $\infty$-categories which are counterparts of duoidal categories in the…

In our previous article [arXiv:1607.06041], we established an equivalence between pointed pivotal module tensor categories and anchored planar algebras. This article introduces the notion of unitarity for both module tensor categories and…

Proper symmetries act on fields while pseudo-symmetries act on both fields and coupling constants. We identify the pseudo-duality groups that act as symmetries of the equations of motion of general systems of scalar and vector fields and…

For a full subcategory B of a unital A_infinity-category C a quotient unital A_infinity-category `C/B' is defined. For differential graded categories such quotient is constructed by V.Drinfeld. Our construction is explicit and uses freely…

We define weak units in a semi-monoidal 2-category $\CC$ as cancellable pseudo-idempotents: they are pairs $(I,\alpha)$ where $I$ is an object such that tensoring with $I$ from either side constitutes a biequivalence of $\CC$, and $\alpha:…

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the…

We give an abstract criterion for pasting pseudofunctors on two subcategories of a category into a pseudofunctor on the whole category. As an application we extend the variance theory of the twisted inverse image $(-)^!$ over schemes to…

Over an arbitrary field, we prove that the relative 2-Deligne tensor product of two separable module 2-categories over a compact semisimple tensor 2-category exists. This allows us to consider the Morita 4-category of compact semisimple…

We construct a derived generalization of the pure spinor superfield formalism and prove that it exhibits an equivalence of dg-categories between multiplets for a supertranslation algebra and equivariant modules over its Chevalley-Eilenberg…

We prove that the unitary Drinfeld center of a unitary tensor category is equivalente to the category of unitary bimodules for the canonical W*-algebra object, generalizing M\"uger's result to the non-fusion case. This is then used to…

We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need…

The concept of a variance on a category is introduced as a two-sided strict factorization system. By employing variances, we define functors of variance in a more general setting than is usually considered, thereby eliminating the need for…

In this thesis we study two main topics which culminate in a proof that four distinct definitions of the equivariant derived category of a smooth algebraic group $G$ acting on a variety $X$ are in fact equivalent. In the first part of this…

We provide an introduction to the Fractional Fourier Transform $\mathcal{F}_{\theta}$ and draw a connection between it and the unit complex number $e^{i\theta}$. Motivated by this, we define an entirely new object associated with any unit…

This paper introduces and studies split two-sided 2-fibrations and locally discrete split two-sided 2-fibrations, using a formal categorical approach. We generalise Street's notion of split two-sided fibration internal to a 2-category to…

If two cluster-tilting objects of an acyclic cluster category are related by a mutation, then their endomorphism algebras are nearly-Morita equivalent [Buan-Marsh-Reiten], i.e. their module categories are equivalent "up to a simple module".…