Release notes

Opycleid 0.4.0

• Added support for defining sub-categories of $\mathbf{Rel(Q)}$, the 2-category of finite sets and quantale-valued relations between them, where $Q$ is a given quantale.
  • Three different quantales classes, the interval quantale, the multiplicative quantale, and the linear order quantale with three elements.
  • QMorphism class for defining quantale-values relations between finite sets
  • CategoryQAction class for defining sub-categories of $\mathbf{Rel(Q)}$.
• Instances of CatMorphism are callable, replacing the use of >> in the previous versions.
• Instances of CategoryFunctor are callable, returning the image of objects and morphisms.
• Non-composable CatMorphism morphisms now return None instead of raising an exception.
• Instances of CatMorphism, CategoryAction can now be directly instantiated with the objects and morphisms instead of having to call separate methods.