https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.Bicategories.PseudoFunctors.Examples.Reindexing.html
UniMath.Bicategories.PseudoFunctors.Examples.Reindexing
examplesreindexing
https://www.chaossearch.io/blog/chaossearch-data-refinery-transform-without-reindexing
ChaosSearch Data Refinery: transform without reindexing
Announcing CHAOSSEARCH Data Refinery: Transform Data and Schema on the Fly Without Reindexing
datarefinerytransformwithoutreindexing