bidirectional arrows, bijective functions, and invariant functors

invertible alternatives and similar packages

Based on the "Composition" category

• composition-tree

  5.8 0.0 invertible VS composition-tree

  Composition trees for arbitrary monoids.

• TypeCompose

  5.5 1.9 invertible VS TypeCompose

  Type composition classes & instances

• composition-extra

  5.3 0.0 invertible VS composition-extra

  Combinators for unorthodox structure composition

• composition

  4.8 0.0 invertible VS composition

  Combinators for unorthodox function composition

Do you think we are missing an alternative of invertible or a related project?