Related papers: Lifting Enhanced Factorization Systems to Functor …
A Q-system is a unitary version of a separable Frobenius algebra object in a C*-tensor category or a C*-2-category. We prove that, for C*-2-categories $\mcal C$ and $\mcal D$, the C*-2-category $\textbf{Fun}(\mcal C, \mcal D)$ of $ * $-$ 2…
We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…
In The factorization of the Giry monad (arXiv:1707.00488v2) the author asserts that the category of convex spaces is equivalent to the category of Eilenberg-Moore algebras over the Giry monad. Some of the statements employed in the proof of…
Given a 2-category $\mathcal{A}$, a $2$-functor $\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$ and a distinguished 1-subcategory $\Sigma \subset \mathcal{A}$ containing all the objects, a $\sigma$-cone for $F$ (with respect to…
We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in a different functor category equipped with a monad for…
We prove many factorization formulas for highest weight Macdonald polynomials indexed by particular partitions called quasistaircases. As a consequence we prove a conjecture of Bernevig and Haldane stated in the context of the fractional…
We study how the fusion 2-category symmetry of a fermionic (2+1)d QFT can be affected when one allows for stacking with TQFTs to be an equivalence relation for QFTs. Focusing on a simple kind of fermionic fusion 2-category described purely…
Let $\mathcal{A}$ and $\mathcal{B}$ be monoidal categories and let $R:\mathcal{A} \rightarrow \mathcal{B}$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $\overline{R}={\sf…
Delta lenses are functors equipped with a suitable choice of lifts, generalising the notion of split opfibration. In recent work, delta lenses were characterised as the right class of an algebraic weak factorisation system. In this paper,…
In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a…
We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…
Exceptional Field Theory employs an extended spacetime to make supergravity fully covariant under the U-duality groups of M-theory. The 12-dimensional EFT associated to the group $SL(2)\times\mathbb{R}^+$ together with its action is…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
A subclass of coded systems containing synchronized systems is the family of half-synchronized systems. In this note, we will consider them and show that the property half-synchronized lifts under hyperbolic maps. This enables us to define…
We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.
Suppose $(\mathcal{C},\mathbb{E},\mathfrak{s})$ is an $n$-exangulated category. We show that the idempotent completion and the weak idempotent completion of $\mathcal{C}$ are again $n$-exangulated categories. Furthermore, we also show that…
Symmetric monoidal closed categories may be related to one another not only by the functors between them but also by enrichment of one in another, and it was known to G. M. Kelly in the 1960s that there is a very close connection between…
We study effective descent $ \mathcal V $-functors for cartesian monoidal categories $ \mathcal V $ with finite limits. This study is carried out via the properties enjoyed by the $2$-functor $ \mathcal V \mapsto \mathsf{Fam}(\mathcal V) $,…
In this article, the author analyses distributive and mixed distributive laws and some of their equivalences through the use of 2-adjunctions of the type $\Adj$-$\Mnd$. As far as the distributive laws are concerned, the equivalence between…
In this article, we will show that the category of biset functors can be regarded as a reflective monoidal subcategory of the category of Mackey functors on the 2-category of finite groupoids. This reflective subcategory is equivalent to…