Related papers: Adjunctions in Quantaloid-enriched Categories

We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of abstracting the structural properties of logical systems: the…

In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched in the category of Eilenberg-Moore algebras for a monad.…

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

Let $U$ be a strong monoidal functor between monoidal categories. If it has both a left adjoint $L$ and a right adjoint $R$, we show that the pair $(R,L)$ is a linearly distributive functor and $(U,U)\dashv (R,L)$ is a linearly distributive…

In this communication, motivated by a classical result that relates cocomplete quantale-enriched categories to modules over a quantale, we prove a similar result for quantale-enriched multicategories.

We study the bicategory of Landau-Ginzburg models, which has potentials as objects and matrix factorisations as 1-morphisms. Our main result is the existence of adjoints in this bicategory and a description of evaluation and coevaluation…

The q-monopole bundle introduced previously is extended to a general construction for quantum group bundles with non-universal differential calculi. We show that the theory applies to several other classes of bundles as well, including…

These are the notes for a minicourse held in Odessa (2016) and Belo Horizonte (2017). My aim was to provide a short introduction to basic notions of category theory and representation theory of finite-dimensional algebras. We learnt the…

A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to…

We show how monoidal adjunctions can be used to prove the existence of monoidal abelian envelopes of pseudo-tensor categories, in particular, those admitting a combinatorial description with certain properties. We derive concrete general…

There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms…

We provide a framework to triangulate subfactor categories of additive categories with additive endofunctors. It is proved that such a framework is sufficiently flexible to cover many instances in algebra and geometry where abelian, exact…

We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…

We investigate certain adjunctions in derived categories of equivariant spectra, including a right adjoint to fixed points, a right adjoint to pullback by an isometry of universes, and a chain of two right adjoints to geometric fixed…

We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…

In this dissertation we examine enrichment relations between categories of dual structure and we sketch an abstract framework where the theory of fibrations and enriched category theory are appropriately united. We initially work in the…

We develop a theory of weighted colimits in the framework of weakly bienriched $\infty$-categories, an extension of Lurie's notion of enriched $\infty$-categories. We prove an existence result for weighted colimits, study weighted colimits…

We characterize injective objects, injective hulls and essential embeddings in the category of symmetric categories enriched in a small, integral and involutive quantaloid. In particular, injective partial metric spaces are precisely…

Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments…

We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…