Related papers: Extranatural transformations, adjunctions of two v…
A bivariant functor is defined on a category of *-algebras and a category of operator ideals, both with actions of a second countable group $G$, into the category of abelian monoids. The element of the bivariant functor will be…
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…
From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…
Motivated by the definition of Freiman homomorphism, we explore the possibilities of formulating some basic notions and techniques of additive combinatorics in a categorical language. We show that additive sets and Freiman homomorphisms…
We characterize virtual double categories of enriched categories, functors, and profunctors by introducing a new notion of double-categorical colimits. Our characterization is strict in the sense that it is up to equivalence between virtual…
There are two dual equivalences between the $\infty$-category of $\mathcal{O}$-monoidal $\infty$-categories with right adjoint lax $\mathcal{O}$-monoidal functors and that with left adjoint oplax $\mathcal{O}$-monoidal functors, where…
We investigate the combinatorial properties of the functional equation $\phi[h(z)]=h(qz)$ for the conjugation of a formal diffeomorphism $\phi$ of $\mathbb{C}$ to its linear part $z\mapsto qz$. This is done by interpreting the functional…
We consider the odd analogue of the category of Soergel bimodules. In the odd case and already for two variables, the transposition bimodule cannot be merged into the generating Soergel bimodule, forcing one into a monoidal category with a…
We explore the relationship between polynomial functors and (rooted) trees. In the first part we use polynomial functors to derive a new convenient formalism for trees, and obtain a natural and conceptual construction of the category…
We give an overview of the parts of arXiv:2004.04279 that deal with 2-categories, up to and including adjunction, and explain how the Segal-type approach to 2-categories adopted there is related to the more standard approaches. As an…
We define a cohomology for an arbitrary $K$-linear semistrict semigroupal 2-category $(\mathfrak{C},\otimes)$ (called in the paper a Gray semigroup) and show that its first order (unitary) deformations, up to the suitable notion of…
The purpose of this article is to present the second type fundamental relationship between the generalized Fourier--Feynman transform and the generalized convolution product on Wiener space. The relationships in this article are also…
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…
The concept of_refinement_ in type theory is a way of reconciling the "intrinsic" and the "extrinsic" meanings of types. We begin with a rigorous analysis of this concept, settling on the simple conclusion that the type-theoretic notion of…
Let $F:\mathcal{A}\to \mathcal{B}$ be a left adjoint between abelian categories and let $Ch(F)$ be the induced left adjoint on chain complexes. If the abelian categories $\mathcal{A}$ and $\mathcal{B}$ are equipped with sufficiently nice…
Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…
We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated…
We study relative Fourier-Mukai transforms on genus one fibrations with section, allowing explicitly the total space of the fibration to be singular and non-projective. Grothendieck duality is used to prove a skew-commutativity relation…
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…
Tambara modules are strong profunctors between monoidal categories. They've been defined by Tambara in the context of representation theory, but quickly found their way in applications when it was understood Tambara modules provide a useful…