Related papers: Applications of the Kleisli and Eilenberg-Moore 2-…

We show connections between a special type of addition formulas and a theorem of Stieltjes and Rogers. We use different techniques to derive the desirable addition formulas. We apply our approach to derive special addition theorems for…

We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we…

We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well…

Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This…

In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the abstract Krivine structures and the implicative algebras…

The notions of Zinbiel 2-algebras and 2-term $Z_{\infty}$-algebras are introduced. It is proved that the category of Zinbiel 2-algebras and the category of $2$-term $Z_{\infty}$-algebras are equivalent to each other. Crossed module…

We define 2-gerbes bound by complexes of braided group-like stacks. We prove a classification result in terms of hypercohomology groups with values in abelian crossed squares and cones of morphisms of complexes of length 3. We give an…

We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor…

In this paper, we study Clifford algebra construction from the perspective of adjunctions motivated by the general framework of Krashen and Lieblich. We introduce a category of weighted polynomial laws whose associated Clifford algebra…

Recently, symmetric categorical groups are used for the study of the Brauer groups of symmetric monoidal categories. As a part of these efforts, some algebraic structures of the 2-category of symmetric categorical groups $\mathrm{SCG}$ are…

A C-symplectic structure is a complex-valued 2-form which is holomorphically symplectic for an appropriate complex structure. We prove an analogue of Moser's isotopy theorem for families of C-symplectic structures and list several…

The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…

We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and, using similar methods, establish its discrete version. We…

We study genus 2 function fields with elliptic subfields of degree 2. The locus $\L_2$ of these fields is a 2-dimensional subvariety of the moduli space $\mathcal M_2$ of genus 2 fields. An equation for $\L_2$ is already in the work of…

In this article Hopf parametric adjunctions are defined and analysed within the context of the 2-adjunction of the type $\mathbf{Adj}$-$\mathbf{Mnd}$. In order to do so, the definition of adjoint objects in the 2-category of adjunctions and…

We investigate the Wall form of unipotent elements of index two in the orthogonal group and obtain a decomposition for these elements. Also, in characteristic two, the relation between the Wall form and some invariants of the induced…

The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…

We give an explicit description of the set of all factorization structures, or twisting maps, existing between the algebras k^2 and k^2, and classify the resulting algebras up to isomorphism. In the process we relate several different…

We exhibit the proximity frames and proximity homomorphisms as a Kleisli category of a comonad whose underlying functor takes a proximity frame to its frame of round ideals. This construction is known in the literature as {\em stable…

Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively…