Two_Catoid

Two_Kleene_Algebra

Two_Quantale

Two_Catoid_Lifting

Two_Catoid_Collapse

Omega_Catoid

Omega_Kleene_Algebra

Omega_Quantale

Omega_Catoid_Lifting