Similar Items: Rule Algebras for Adhesive Categories
- On The Axioms Of $mathcal{M},mathcal{N}$-Adhesive Categories
- On some categorical-algebraic conditions in S-protomodular categories
- Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories
- From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
- Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
- Displayed Categories