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...

On binary coproducts of frames

Xiangdong Chen (1992)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The structure of binary coproducts in the category of frames is analyzed, and the results are then applied widely in the study of compactness, local compactness (continuous frames), separatedness, pushouts and closed frame homomorphisms.