Related papers: Unitary pseudonatural transformations
The notion of semifunctor between categories, due to S. Hayashi (1985), is defined as a functor that does not necessarily preserve identities. In this paper we study how several properties of functors, such as fullness, full faithfulness,…
It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in…
We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify…
We take advantage of the correspondence between pseudogroups and inverse quantal frames, and of the recent description of Morita equivalence for inverse quantal frames in terms of biprincipal bisheaves, to define Morita equivalence for…
The classification of elementary particles based on unitary irreducible representations of the Poincare group has been a cornerstone of modern Quantum Field Theory (QFT). While the Standard Model (SM) does not inherently include Dark Matter…
The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the…
A dg-natural transformation between dg-functors is called an objectwise homotopy equivalence if its induced morphism on each object admits a homotopy inverse. In general an objectwise homotopy equivalence does not have a dg-inverse but has…
In this paper, we give several equivalent characterizations for a category with finite biproducts and the sum operation of arrows, and called categories satisfying these semiadditive $\mathbf{C}\mathbf{Mon}$-categories. This allow us to…
We introduce generalized Frobenius-Schur indicators for pivotal categories. In a spherical fusion category C, an equivariant indicator of an object in C is defined as a functional on the Grothendieck algebra of the quantum double Z(C) via…
This is the second paper in a series. In part I we developed deformation theory of objects in homotopy and derived categories of DG categories. Here we extend these (derived) deformation functors to an appropriate bicategory of artinian DG…
Two unital operator algebras A, B are called Delta-equivalent if there exists an equivalence functor between the categories A-mod and B-mod which "extends" to a *-functor implementing an equivalence between the categories A-dmod and B-dmod.…
It was shown recently that the f-diagonal tensor in the T-SVD factorization must satisfy some special properties. Such f-diagonal tensors are called s-diagonal tensors. In this paper, we show that such a discussion can be extended to any…
We study bipartite unitary operators which stay invariant under the local actions of diagonal unitary and orthogonal groups. We investigate structural properties of these operators, arguing that the diagonal symmetry makes them suitable for…
Let $F, G: \mathcal{I} \to \mathcal{C}$ be strong monoidal functors from a skeletally small monoidal category $\mathcal{I}$ to a tensor category $\mathcal{C}$ over an algebraically closed field $k$. The set $Nat(F, G)$ of natural…
It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.
We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to the one of equational classes defined by equation arrows. Free…
We show that for the path algebra $A$ of an acyclic quiver, the singularity category of the derived category $\mathsf{D}^{\rm b}(\mathsf{mod}\,A)$ is triangle equivalent to the derived category of the functor category of…
Exploiting the symmetry topological field theory/topological order correspondence (SymTFT/TO), together with the higher-categorical structure of 6D N =(2,0) SCFTs, we prove that the total quantum dimension of the relative gaugeable algebra…
Based on the Riemann- and Caputo definition of the fractional derivative we use the fractional extensions of the standard rotation group SO(3) to construct a higher dimensional representation of a fractional rotation group with mixed…