Related papers: Duality in Monoidal Categories
We prove that the opposite of the category of coalgebras for the Vietoris endofunctor on the category of compact Hausdorff spaces is monadic over Set. We deliver an analogous result for the upper, lower and convex Vietoris endofunctors…
We define the affinization of an arbitrary monoidal category $\mathcal{C}$, corresponding to the category of $\mathcal{C}$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to…
We make a systematic study of duality phenomena in tensor-triangular geometry, generalising and complementing previous results of Balmer--Dell'Ambrogio--Sanders and Dwyer--Greenlees--Iyengar. A key feature of our approach is the use of…
Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss…
There appeared not long ago a Reduction Formula for derived Hochschild cohomology, that has been useful e.g., in the study of Gorenstein maps and of rigidity w.r.t. semidualizing complexes. The formula involves the relative dualizing…
We define the notion of duality categories as generalization of duality groups. Two examples are treated. The first is the Serre duality in the categories of strict polynomial functors. The second concerns finite complexes. We show in…
We investigate the problem when the tensor functor by a bimodule yields a singular equivalence. It turns out that this problem is equivalent to the one when the Hom functor given by the same bimodule induces a triangle equivalence between…
Weak structures abound in higher category theory, but are often suitably equivalent to stricter structures that are easier to understand. We extend strictification for tricategories and trihomomorphisms to trinatural transformations,…
The classifying spaces of handlebody groups form a modular operad. Algebras over the handlebody operad yield systems of representations of handlebody groups that are compatible with gluing. We prove that algebras over the modular operad of…
Given a braided tensor *-category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C\rtimes S. This construction yields a tensor *-category with conjugates and an…
We produce a cofibrantly generated simplicial symmetric monoidal model structure for the category of (small unital) C*-categories, whose weak equivalences are the unitary equivalences. The closed monoidal structure consists of the maximal…
We explain two related constructions on the data of two monoidal symmetric closed categories $\mathscr{A}$ and $\mathscr{E}$ and monoidal functors $F: \mathscr{E}\to \mathscr{A}$ and $G: \mathscr{A}\to \mathscr{E}$. In a first part, we…
We define a duality operation connecting closure operations, interior operations, and test ideals, and describe how the duality acts on common constructions such as trace, torsion, tight and integral closures, and divisible submodules. This…
In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and…
Let C be a coalgebra over a field k and A its dual algebra. The category of C-comodules is equivalent to a category of A-modules. We use this to interpret the cotensor product M \square N of two comodules in terms of the appropriate…
We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…
A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an…
Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in the theory of such structures. For instance, a monoidal…
We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also…
Locality is implemented in an arbitrary category using Grothendieck topologies. We explore how different Grothendieck topologies on one category can be related, and, more general, how functors between categories can preserve them. As…