We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes new tool the construction tensor As an example we obtain proofs several universal categories as conjectured by Deligne. Another constructs interesting in positive characteristic via tilting modules ${\rm SL}_2$ .

A sovereign monoidal category is an autonomous monoidal category endowed with the choice of an autonomous structure and an isomorphism of monoidal functors between the associated left and right duality functors. In this paper we define and study the algebraic counterpart of sovereign monoidal categories: cosovereign Hopf algebras. In this framework we find a categorical characterization of invo...

For a quantale I, which is unit interval endowed with continuous triangular norm and the Barr extension β¯I of ultrafilter monad to I-Rel, characterization discrete presheaf associated given. It also proved that, when & Łucasiewicz norm, isomorphic saturated prefilter monad, product prime functional ideal submonad monad.

Symmetric monoidal closed categories may be related to one another not only by the functors between them but also by enrichment of one in another, and it was known to G. M. Kelly in the 1960s that there is a very close connection between these phenomena. In this first part of a two-part series on this subject, we show that the assignment to each symmetric monoidal closed category V its associat...

Tannaka duality describes the relationship between algebraic objects in a given category and functors into that category; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful “fibre functors” to the category of vector spaces. We simultaneously generalize the theory of Tannaka duality in two ways: first, we replace Hopf algebras...

Given a horizontal monoid M in a duoidal category F , we examine the relationship between bimonoid structures on M and monoidal structures on the category F ∗M of right M -modules which lift the vertical monoidal structure of F . We obtain our result using a variant of the so-called Tannaka adjunction; that is, an adjunction inducing the equivalence which expresses Tannaka duality. The approach...

This is a short introduction to categories with some emphasis on coalgebras. We start from introducing basic notions (categories, functors, natural transformations), move to Kleisli tripels and monads, with a short discussion of monads in Haskell, and continue with displaying the interplay between algebras, adjunctions and monads. Coalgebras are discussed and applied to the semantics of modal l...