On the PROP corresponding to bialgebras

Abstract

A PROP is a symmetric monoidal category, whose set of objects is the set of natural numbers and on objects the monoidal structure is given by the addition. An algebra over a PROP is a symmetric strict monoidal functor to the tensor category of vector spaces. We give an explicite construction of the PROP whose category of algebras is equivalent to the category of bialgebras (= associative and coassociative bialgebras).

Cited by in corpus (20)

• Interacting Hopf Algebras: the theory of linear systems
• Corelations are the prop for extraspecial commutative Frobenius monoids
• Symmetric Homology of Algebras
• The Structure of First-Order Causality (extended version)
• Higher Hochschild homology and exponential functors
• On the category of finitely generated free groups
• Quantum Linear Optics via String Diagrams
• The Structure of First-Order Causality
• Simplicial spaces, lax algebras and the 2-Segal condition
• Circuits, Bond Graphs, and Signal-Flow Diagrams: A Categorical Perspective
• PROPs for Linear Systems
• Colored props for large scale graphical reasoning
• Reflexive homology
• The universal Hall bialgebra of a double 2-Segal space
• Some results on homology of Leibniz and Lie n-algebras
• Presentation of a Game Semantics for First-Order Propositional Logic
• A Compositional Framework for Bond Graphs
• On analytic contravariant functors on free groups
• A combinatorial PROP for bialgebras
• Categorifying equivariant monoids