Similar Items: From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
- Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
- Coalgebraic Infinite Traces and Kleisli Simulations
- Rule Algebras for Adhesive Categories
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- On some categorical-algebraic conditions in S-protomodular categories
- Duality for powerset coalgebras