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

We show the Farrell-Jones conjecture with coefficients in left-exact $\infty$-categories for finitely $\mathcal{F}$-amenable groups and, more generally, Dress-Farrell-Hsiang-Jones groups. Our result subsumes and unifies arguments for the…

In this paper we study singularities defined by the action of Frobenius in characteristic $p > 0$. We prove results analogous to inversion of adjunction along a center of log canonicity. For example, we show that if $X$ is a Gorenstein…

We show that pseudovarieties of finitely generated algebras, i.e., classes $C$ of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can be described via a uniform structure $U$ on the free…

We give a short and self-contained proof of Levi's Extension Lemma for pseudoline arrangements.

For topological spaces $X$ and $Y$, a (not necessarily continuous) function $f:X \rightarrow Y$ naturally induces a functor from the category of closed subsets of $X$ (with morphisms given by inclusions) to the category of closed subsets of…

Let $\Gamma$ be a totally ordered group. We use Hahn's embedding theorem to construct a totally ordered set $\Gamma\subset \Gamma_{\operatorname{sme}}$ which classifies small extensions of $\Gamma$. This small-extensions closure…

We give a detailed proof of the B\'enabou-Roubaud theorem. As a byproduct it yields a weakening of its hypotheses: the base category does not need fibre products and the Beck-Chevalley condition, in the form of a natural transformation, can…

Recently, Dotsenko and Tamaroff have shown that a morphism of $T\longrightarrow S$ of monads over a category $\mathscr C$ satisfies the PBW-property if and only if it makes $S$ into a free right $T$-module. We consider an adjunction…

We investigate the existence of left and right adjoints to the restriction functor in three categories of continuous representations of a topological group: discrete, linear complete and compact.

Let $\mathbb{A}$ be a $2$-category with suitable opcomma objects and pushouts. We give a direct proof that, provided that the codensity monad of a morphism $p$ exists and is preserved by a suitable morphism, the factorization given by the…

The goal of this paper is to develop a theory of join and slices for strict $\infty$-categories. To any pair of strict $\infty$-categories, we associate a third one that we call their join. This operation is compatible with the usual join…

In this paper, we formulate and prove linear analogues of results concerning matchings in groups. A matching in a group G is a bijection f between two finite subsets A,B of G with the property, motivated by old questions on symmetric…

We provide bicategorical analogs of several aspects of the notion of geometry in the sense of the theory of spectrum. We first introduce a notion of local right biadjoint, and prove it to be equivalent to a notion of bistable pseudofunctor,…

Let $X$, $Y$ be closed irreducible subvarieties of an absolutely simple abelian variety of dimension $g$ over a field. If $\dim(X) + \dim(Y) \le g$, we prove that the addition morphism $X \times Y \to X + Y$ is semismall. As a consequence,…

We prove a new case of mixed discrete joint universality theorem on approximation of certain target couple of analytic functions by the shifts of a pair consisting of the function belonging to wide class of Matsumoto zeta-functions and the…

Let $X$ be a compact metric space, $C(X)$ be the space of continuous real-valued functions on $X$, and $A_1$, $A_2$ be two closed subalgebras of $C(X)$ containing constant functions. We consider the problem of approximation of a function…

We investigate uniform ergodic type theorems for additive and subadditive functions on a subshift over a finite alphabet. We show that every strictly ergodic subshift admits a uniform ergodic theorem for Banach-space-valued additive…

We give necessary and sufficient conditions on an Ore extension $A[x;\sigma,\delta]$, where $A$ is a finite dimensional algebra over a field $\mathbb{F}$, for being a Frobenius extension over the ring of commutative polynomials…

This is a first of a series of two papers. Our motive is to tackle the question raised in B\"ohm's "The Gray Monoidal Product of Double Categories" from Applied Categorical Structures: which would be an alternative notion to intercategories…

We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $\mathrm{B}$, $\Delta(\mathrm{B})$, and $\Sigma(\mathrm{B})$ of formulas of modal…