Displaying similar documents to “Generators in the category of S-posets”

Traced premonoidal categories

Nick Benton, Martin Hyland (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in cartesian categories.

Quasitriangular Hopf group algebras and braided monoidal categories

Shiyin Zhao, Jing Wang, Hui-Xiang Chen (2014)

Czechoslovak Mathematical Journal

Similarity:

Let π be a group, and H be a semi-Hopf π -algebra. We first show that the category H of left π -modules over H is a monoidal category with a suitably defined tensor product and each element α in π induces a strict monoidal functor F α from H to itself. Then we introduce the concept of quasitriangular semi-Hopf π -algebra, and show that a semi-Hopf π -algebra H is quasitriangular if and only if the category H is a braided monoidal category and F α is a strict braided monoidal functor for any...