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

For an abelian variety $A$ over a finitely generated field $K$ of characteristic $p > 0$, we prove that the algebraic rank of $A$ is at most a suitably defined analytic rank. Moreover, we prove that equality, i.e., the BSD rank conjecture,…

We study right quasi-representable differential graded bimodules as quasi-functors between dg-categories. We prove that a quasi-functor has a left adjoint if and only if it is left quasi-representable.

In this article our main result is a more complete version of the statements obtained in {\rm [6]}. One of the important technical point of our proof is an $\displaystyle L^{2\over m}$ extension theorem of Ohsawa-Takegoshi type, which is…

In this paper we generalize Kingman's sub-additive ergodic theorem to a large class of infinite countable discrete amenable group actions.

The main point of this paper is to prove the following useful result: If the almost everywhere 2-jet of a locally quasi-convex function u satisfies a degenerate elliptic constraint F, then u is F-subharmonic, i.e., u is a viscosity…

In this work, we investigate an effective method for showing that functors between categories are left adjoints. The method applies to a large class of categories, namely locally finitely presentable categories, which are ubiquitous in…

We generalize the Pierce representation theorem for (commutative) rings with unit to other algebraic categories with Definable Factor Congruences by using tools from topos theory. Of independent interest, we prove that an algebraic category…

A classical theorem of Scheunert on $G$-color Lie algebras, asserts in the case of finitely generated abelian groups, one can twist the algebra structure and the commutation bicharacter on $G$ by a 2-cocycle twist to a super-Lie $G$ graded,…

The results of this thesis allows one to replace calculations in tricategories with equivalent calculations in Gray categories (aka semistrict tricategories). In particular the rewriting calculus for Gray categories as used for example by…

We show that a pseudorepresentation $\textbf{D}\colon A[G] \to A$ of a (finite) group $G$ need not arise from a genuine representation, even if one is allowed to extend the ring $A$. This shows that a theorem of the "embedding problem" for…

We describe a finitary 2-monad on a locally finitely presentable 2-category for which not every pseudoalgebra is equivalent to a strict one. This shows that having rank is not a sufficient condition on a 2-monad for every pseudoalgebra to…

We consider the d\'ecalage construction $\operatorname{Dec}$ and its right adjoint $T$. These functors are induced on the category of simplicial objects valued in any bicomplete category $\mathcal{C}$ by the ordinal sum. We identify $T…

Using cohomology of categories with coefficients in natural systems it is proved that a groupoid enrichad category with pseudoproducts is pseudoequivalent to one with strict products.

Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is…

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…

We fix any bicategory $\mathscr{A}$ together with a class of morphisms $\mathbf{W}_{\mathscr{A}}$, such that there is a bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$. Given another such pair…

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…

Let $\mathcal{E}=(\mathcal{A},\mathcal{S})$ be an exact category with enough projectives $\mathcal{P}$. We introduce the notion of support $\tau$-tilting subcategories of $\mathcal{E}$. It is compatible with existing definitions of support…

Let $A$ be an amenable separable \CA and $B$ be a non-unital but $\sigma$-unital simple \CA with continuous scale. We show that two essential extensions $\tau_1$ and $\tau_2$ of $A$ by $B$ are approximately unitarily equivalent if and only…

Let G and K be groupoids. We present the notion of a (G_{\alpha},K_{\beta})-set and we prove a duality theorem in this context, which extends the duality theorem for graded algebras by groups. For A a unital G-graded algebra and X a finite…