Related papers: B\'enabou's theorem for pseudoadjunctions

We prove a biadjoint triangle theorem and its strict version, which are $2$-dimensional analogues of the adjoint triangle theorem of Dubuc. Similarly to the $1$-dimensional case, we demonstrate how we can apply our results to get the…

We give a detailed account of the theory of enrichment over a bicategory and show that it establishes a two-fold generalization of enrichment over both quantaloids and monoidal categories. We define complete B-categories, a generalization…

We prove that there is an adjunction between what we call \'etale topological categories and restriction quantal frames that leads to an adjunction with a category of complete restriction monoids. This generalizes the adjunction between…

By the biadjoint triangle theorem, given a pseudomonad $\mathcal{T} $ on a $2$-category $\mathfrak{B} $, if a right biadjoint $\mathfrak{A}\to\mathfrak{B} $ has a lifting to the pseudoalgebras…

We prove a bicategorical analogue of Quillen's Theorem A. As an application, we deduce the well-known result that a pseudofunctor is a biequivalence if and only if it is essentially surjective on objects, essentially full on 1-cells, and…

We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…

We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.

We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing…

The main purpose of the following article is to give a proof of Y. Kawamata's celebrated subadjunction theorem in the spirit of our previous work on Bergman kernels. We will use two main ingredients : an $\displaystyle L^{2\over…

Let $A$ be a unital separable \CA and $B=C\otimes {\cal K},$ where $C$ is a unital \CA. Let $\tau: A\to M(B)/B$ be a weakly unital full essential extensions of $A$ by $B.$ We show that there is a bijection between a quotient group of…

Given Gray-categories $P$ and $L$, there is a Gray-category $\mathrm{Tricat}_{\mathrm{ls}}(P,L)$ of locally strict trihomomorphisms with domain $P$ and codomain $L$, tritransformations, trimodifications, and perturbations. If the domain $P$…

We introduce pseudoalgebras for relative pseudomonads and develop their theory. For each relative pseudomonad $T$, we construct a free--forgetful relative pseudoadjunction that exhibits the bicategory of $T$-pseudoalgebras as terminal among…

In this article the 2-adjunction that relates universal arrows and extensive monads is constructed explicitly. This 2-adjunction resembles the one that relates adjunctions and monads since the 2-category of universal arrows is isomorphic to…

We prove a general theorem that gives a non trivial relation in the group of derived autoequivalences of a variety (or stack) X, under the assumption that there exists a suitable functor from the derived category of another variety Y…

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…

This is the introductory chapter of my PhD Thesis. This thesis consists of one introductory chapter and four single-authored papers written during my PhD studies at the University of Coimbra under supervision of Maria Manuel Clementino. In…

In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2-categories. In particular, we show that every Frobenius object in a monoidal category M arises from an ambijunction…

Given Banach algebras $ A $ and $ B $ with $ \theta\in\Delta(B) $. We shall study the Johnson pseudo-contractibility and pseudo-amenability of $ \theta $-Lau product $ A\times_{\theta} B $. We show that if $ A\times_{\theta} B $ is Johnson…

Lucatelli Nunes obtained a 2-categorical version of the adjoint triangle theorem of Dubuc using the descent object of a specific diagram. In some cases, such a diagram can be filled with an extra cell. We show then how to obtain a biadjoint…

The fundamental construction underlying descent theory, the lax descent category, comes with a functor that forgets the descent data. We prove that, in any $2$-category $\mathfrak{A} $ with lax descent objects, the forgetful morphisms…