Related papers: Lax comma $2$-categories and admissible $2$-functo…

We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…

Let k be a positive integer divisible by 4, l>k a prime, and f an elliptic cuspidal eigenform of weight k-1, level 4, and non-trivial character. Let \rho_f be the l-adic Galois representation attached to f. In this paper we provide evidence…

In this article, the author analyses distributive and mixed distributive laws and some of their equivalences through the use of 2-adjunctions of the type $\Adj$-$\Mnd$. As far as the distributive laws are concerned, the equivalence between…

We develop a topological approach to prove the generalized Lax conjecture using the fact that determinants of sufficiently big symmetric linear pencils are able to express the rigidly convex sets of RZ polynomials of any degree $d$.…

In this paper we introduce the notion of a relative volutive (higher) category, specializing to the notion of a lax volutive (higher) category. Our primary motivation to study these objects is the following: while any rigid symmetric…

In this paper, we 'construct' a 2-functor from the unobstructed immersed Weinstein category to the category of all filtered $A_{\infty}$ categories. We consider arbitrary (compact) symplectic manifolds and its arbitrary (relatively spin)…

Integrally convex functions constitute a fundamental function class in discrete convex analysis. This paper shows that an integer-valued integrally convex function admits an integral subgradient and that the integral biconjugate of an…

The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a {\em Morita context} comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is…

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

This paper is a sequel to "Logical systems I: Lambda calculi through discreteness". It provides a general 2-categorical setting for extensional calculi and shows how intensional and extensional calculi can be related in logical systems. We…

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…

Over an arbitrary field, we prove that the relative 2-Deligne tensor product of two separable module 2-categories over a compact semisimple tensor 2-category exists. This allows us to consider the Morita 4-category of compact semisimple…

In this paper we provide a detailed construction of an equivalence between the category of Lawvere theories and the category of relative monads on the obvious functor $Jf:F\rightarrow Sets$ where $F$ is the category with the set of objects…

A Quillen model structure is presented by an interacting pair of weak factorization systems. We prove that in the world of locally presentable categories, any weak factorization system with accessible functorial factorizations can be lifted…

It is well-known that pseudo functors from bicategories of spans are equivalent to Beck-Chevalley bifibrations, and therefore capture the relationships underlying the adjunctions suitable as semantics for existential quantification. This…

We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived…

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…

By regarding the classical non abelian cohomology of groups from a 2-dimensional categorical viewpoint, we are led to a non abelian cohomology of groupoids which continues to satisfy classification, interpretation and representation…

This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple…

Let $\mathfrak{g}$ be a complex finite-dimensional semisimple Lie algebra and $\mathfrak{k}$ be any $\mathrm{sl}(2)$-subalgebra of $\mathfrak{g}$. In this paper we prove an earlier conjecture by Penkov and Zuckerman claiming that the first…